Cited in
(43)- Adapting functional programs to higher order logic
- A partial type checking algorithm for Type:Type
- Constructive membership predicates as index types
- A Dependently Typed Framework for Static Analysis of Program Execution Costs
- Type checking dependent (record) types and subtyping
- Language-based program verification via expressive types
- Self-certification: bootstrapping certified typecheckers in F\(^\ast\) with Coq
- Automation for dependently typed functional programming
- Unified syntax with iso-types
- AURA
- A language-based approach to functionally correct imperative programming
- Algebra of programming in Agda: Dependent types for relational program derivation
- Secure distributed programming with value-dependent types
- SafeGen
- Vaucanson
- Plastic
- Testing and Proving Distributed Algorithms in Constructive Type Theory
- AURA
- ALF
- Metaphor
- Epigram
- AoPA
- LEGO
- RATH-Agda
- RepLib
- MicroRogue
- SAFL
- Regexp
- Cayenne -- a language with dependent types
- scientific article; zbMATH DE number 2090721 (Why is no real title available?)
- Generic programming with dependent types
- Program calculation in Coq
- Dependently typed array programs don't go wrong
- Cayenne -- a language with dependent types
- On irrelevance and algorithmic equality in predicative type theory
- Introducing VAUCANSON
- Imperative LF meta-programming
- The calculus of dependent lambda eliminations
- Dependent ML An approach to practical programming with dependent types
- A type system for reflective program generators
- Advanced Functional Programming
- Type-level computation using narrowing in \(\Omega\)mega
- A mechanised abstract formalisation of concept lattices
This page was built for software: Cayenne
