The Linguistics of Programming
CS Gordon - Proceedings of the 2024 ACM SIGPLAN International …, 2024 - dl.acm.org
Research in programming languages and software engineering are broadly concerned with
the study of aspects of computer programs: their syntactic structure, the relationship between …
the study of aspects of computer programs: their syntactic structure, the relationship between …
[PDF][PDF] In Search of a Type Theory for Fuzzy Properties
Y Cong - prg.is.titech.ac.jp
Types are a powerful language for describing properties. Over the past decades,
researchers have used this aspect of types for diverse purposes, ranging from verification of …
researchers have used this aspect of types for diverse purposes, ranging from verification of …