Do we need dependent types?

DOI10.1017/S0956796800003658zbMath0971.68022OpenAlexW2132254891MaRDI QIDQ4519175

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)

Related Items (5)

Iterating on multiple collections in synchrony ⋮ Applicative programming with effects ⋮ Type-safe pattern combinators ⋮ The essence of the <scp>Iterator</scp> pattern ⋮ Lightweight Static Capabilities

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