Do we need dependent types?

DOI10.1017/S0956796800003658MaRDI QIDQ4519175zbMATH OpenOpenAlexFDO

Authors Daniel Fridlender, Mia Indrika

Publication date 3 December 2000

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800003658

zbMATH Keywords

dependent types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 2090721
• Dependent Types at Work
• Dependently typed programming in Agda
• Dependent types in mathematical theory of programming
• Types as parameters

Cited in

(6)

• Lightweight static capabilities
• Type-safe pattern combinators
• The essence of the <scp>Iterator</scp> pattern
• Functional unparsing
• Iterating on multiple collections in synchrony
• Applicative programming with effects

This page was built for publication: Do we need dependent types?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4519175)