Cayenne

swMATH9686MaRDI QIDQ21665

No author found.

Related Items (29)

On Irrelevance and Algorithmic Equality in Predicative Type Theory ⋮ AURA ⋮ Dependently typed array programs don't go wrong ⋮ Unified Syntax with Iso-types ⋮ Dependent ML An approach to practical programming with dependent types ⋮ A language-based approach to functionally correct imperative programming ⋮ Self-certification ⋮ Advanced Functional Programming ⋮ Cayenne—a language with dependent types ⋮ The calculus of dependent lambda eliminations ⋮ Secure distributed programming with value-dependent types ⋮ Automation for Dependently Typed Functional Programming ⋮ Generic Programming with Dependent Types ⋮ A Mechanised Abstract Formalisation of Concept Lattices ⋮ A Partial Type Checking Algorithm for Type:Type ⋮ A type system for reflective program generators ⋮ Unnamed Item ⋮ Testing and Proving Distributed Algorithms in Constructive Type Theory ⋮ Introducing VAUCANSON ⋮ Program Calculation in Coq ⋮ A Dependently Typed Framework for Static Analysis of Program Execution Costs ⋮ Algebra of programming in Agda: Dependent types for relational program derivation ⋮ Adapting functional programs to higher order logic ⋮ Cayenne—a language with dependent types ⋮ Type checking dependent (record) types and subtyping ⋮ Constructive Membership Predicates as Index Types ⋮ Type-level Computation Using Narrowing in Ωmega ⋮ Language-Based Program Verification via Expressive Types ⋮ Imperative LF Meta-Programming

This page was built for software: Cayenne