Cayenne

swMATH9686MaRDI QIDQ21665FDOQ21665

Author name not available (Why is that?)

Cited In (29)

• A Dependently Typed Framework for Static Analysis of Program Execution Costs
• A type system for reflective program generators
• Title not available (Why is that?)
• Adapting functional programs to higher order logic
• Testing and Proving Distributed Algorithms in Constructive Type Theory
• Dependently typed array programs don't go wrong
• Introducing VAUCANSON
• A Partial Type Checking Algorithm for Type:Type
• Dependent ML An approach to practical programming with dependent types
• A language-based approach to functionally correct imperative programming
• Cayenne—a language with dependent types
• On irrelevance and algorithmic equality in predicative type theory
• Type checking dependent (record) types and subtyping
• Self-certification
• Program Calculation in Coq
• The calculus of dependent lambda eliminations
• Type-level computation using narrowing in \(\Omega\)mega
• AURA
• Language-based program verification via expressive types
• Secure distributed programming with value-dependent types
• Automation for Dependently Typed Functional Programming
• A Mechanised Abstract Formalisation of Concept Lattices
• Generic Programming with Dependent Types
• Unified Syntax with Iso-types
• Advanced Functional Programming
• Constructive membership predicates as index types
• Algebra of programming in Agda: Dependent types for relational program derivation
• Imperative LF meta-programming
• Cayenne—a language with dependent types

This page was built for software: Cayenne