Guarded recursive datatype constructors

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

zbMATH Keywords

guarded recursive datatype constructors

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

• TREX

Cites Work

• Regular expression pattern matching for XML
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item