The following pages link to Cayenne (Q21665):
Displaying 29 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)
- Type-level Computation Using Narrowing in Ωmega (Q2866338) (← links)
- Language-Based Program Verification via Expressive Types (Q2866340) (← links)
- Imperative LF Meta-Programming (Q2871844) (← links)
- On Irrelevance and Algorithmic Equality in Predicative Type Theory (Q2881097) (← links)
- A language-based approach to functionally correct imperative programming (Q2936790) (← links)
- Self-certification (Q2942906) (← links)
- Automation for Dependently Typed Functional Programming (Q3002482) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- Unified Syntax with Iso-types (Q3179296) (← links)
- A Dependently Typed Framework for Static Analysis of Program Execution Costs (Q3623950) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- Type checking dependent (record) types and subtyping (Q4500363) (← links)
- Generic Programming with Dependent Types (Q4649382) (← links)
- (Q4813221) (← links)
- A Partial Type Checking Algorithm for Type:Type (Q5166618) (← links)
- AURA (Q5178753) (← links)
- Cayenne—a language with dependent types (Q5234272) (← links)
- Dependent ML An approach to practical programming with dependent types (Q5308083) (← links)
- Cayenne—a language with dependent types (Q5348900) (← links)
- The calculus of dependent lambda eliminations (Q5372010) (← links)
- Advanced Functional Programming (Q5394302) (← links)
- Secure distributed programming with value-dependent types (Q5398328) (← links)
- A Mechanised Abstract Formalisation of Concept Lattices (Q5410488) (← links)
- Testing and Proving Distributed Algorithms in Constructive Type Theory (Q5423864) (← links)
