An Experiment in Practical Semantics
No abstract available.
Related papers
- Polymorphism by Name for References and Continuations POPL 1993
- A Logical Approach to Deciding Semantic Subtyping TOPLAS 2015
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011
- JavaGI in the battlefield: practical experience with generalized interfaces GPCE 2009
- Dynamic space limits for Haskell PLDI 2014
- Grammar-based testing for little languages: an experience report with student compilers SLE 2020
- Experiences Building an MLIR-Based SYCL Compiler CGO 2024
- Automatic code generation in practice: experiences with embedded robot controllers GPCE 2016