a public good project by the
Synthesis
Company
of California

© 2026

Epigram: Practical Programming with Dependent Types | doi.page

0 citations0 references

Google Scholar doi.org

Epigram: Practical Programming with Dependent Types

Lecture notes in computer science·2005·pp. 130–170

Citations Over TimeTop 10% of 2005 papers

Related Papers

→ Type-indexed data types(2004)77 cited
→ Type-Indexed Data Types(2002)23 cited
→ Extending haskell with effectful property abstraction(2015)1 cited
→ Haskell Solutions to the Language Session Problems at the 1988 Salishan High-Speed Computing Conference(1992)5 cited
→ Haskell_#: Coordinating Functional Processes(2012)