Guarded recursive datatype constructors
From MaRDI portal
Publication:2942928
DOI10.1145/604131.604150zbMath1321.68161OpenAlexW1984514567MaRDI QIDQ2942928
Gang Chen, Hongwei Xi, Chiyan Chen
Publication date: 11 September 2015
Published in: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/604131.604150
Related Items
Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs, Refined Environment Classifiers, Polymorphic typed defunctionalization and concretization, A Reflection on Types, Strongly typed term representations in Coq, Ambivalent Types for Principal Type Inference with GADTs, Size-based termination of higher-order rewriting, Type-specialized staged programming with process separation, Functional un\(|\)unparsing, Unnamed Item, Characterizing functions mappable over GADTs, Safe typing of functional logic programs with opaque patterns and local bindings, Programs Using Syntax with First-Class Binders, Unnamed Item, Generic multiset programming with discrimination-based joins and symbolic Cartesian products, Implicitly heterogeneous multi-stage programming, <scp>OutsideIn(X)</scp>Modular type inference with local assumptions, Unnamed Item, Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language, Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages, Type-Safe Code Transformations in Haskell, Language-Based Program Verification via Expressive Types, Free Theorems and Runtime Type Representations, Meta-programming With Built-in Type Equality
Uses Software
Cites Work
