Heterogeneous binary random-access lists

DOI10.1017/S0956796820000064zbMath1442.68032OpenAlexW3015556285MaRDI QIDQ5110935

Wouter Swierstra

Publication date: 26 May 2020

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Calculating datastructures

Uses Software

• Epigram
• Agda
• Accelerate

Cites Work

• Unnamed Item
• Dependently Typed Programming in Agda
• Purely Functional Data Structures
• Programming with ornaments
• Advanced Functional Programming
• Closed type families with overlapping equations
• Boxy types

This page was built for publication: Heterogeneous binary random-access lists