Cayenne—a language with dependent types

DOI10.1145/289423.289451zbMath1428.68094OpenAlexW2027584005MaRDI QIDQ5234272

Lennart Augustsson

Publication date: 26 September 2019

Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/289423.289451

zbMATH Keywords

dependent typestype systemsmodule systemslanguage design

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (4)

Algebra of Programming Using Dependent Types ⋮ The calculus of dependent lambda eliminations ⋮ Is Impredicativity Implicitly Implicit ⋮ Type-level Computation Using Narrowing in Ωmega

Uses Software

• Cayenne

This page was built for publication: Cayenne—a language with dependent types