Pages that link to "Item:Q2942928"
From MaRDI portal
The following pages link to Guarded recursive datatype constructors (Q2942928):
Displaying 23 items.
- Generic multiset programming with discrimination-based joins and symbolic Cartesian products (Q656874) (← links)
- Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language (Q724927) (← links)
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- Polymorphic typed defunctionalization and concretization (Q853737) (← links)
- Type-specialized staged programming with process separation (Q1929349) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- Strongly typed term representations in Coq (Q2392480) (← links)
- Safe typing of functional logic programs with opaque patterns and local bindings (Q2437797) (← links)
- Implicitly heterogeneous multi-stage programming (Q2478589) (← links)
- Type-Safe Code Transformations in Haskell (Q2866331) (← links)
- Language-Based Program Verification via Expressive Types (Q2866340) (← links)
- Meta-programming With Built-in Type Equality (Q2871838) (← links)
- Ambivalent Types for Principal Type Inference with GADTs (Q2937793) (← links)
- Programs Using Syntax with First-Class Binders (Q2988654) (← links)
- Refined Environment Classifiers (Q3179298) (← links)
- A Reflection on Types (Q3188294) (← links)
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages (Q3644934) (← links)
- Size-based termination of higher-order rewriting (Q4577817) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- (Q4993349) (← links)
- (Q5028445) (← links)
- (Q5089033) (← links)
- Free Theorems and Runtime Type Representations (Q5262947) (← links)
