Pages that link to "Item:Q5348900"
From MaRDI portal
The following pages link to Cayenne—a language with dependent types (Q5348900):
Displaying 12 items.
- A type system for reflective program generators (Q532406) (← links)
- Introducing VAUCANSON (Q703498) (← links)
- Dependently typed array programs don't go wrong (Q843222) (← links)
- Adapting functional programs to higher order logic (Q1029815) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- Language-Based Program Verification via Expressive Types (Q2866340) (← links)
- Imperative LF Meta-Programming (Q2871844) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- Hoare type theory, polymorphism and separation (Q3546051) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- A Partial Type Checking Algorithm for Type:Type (Q5166618) (← links)
