A library for polymorphic dynamic typing
From MaRDI portal
Publication:5398333
DOI10.1017/S0956796813000063zbMath1286.68036MaRDI QIDQ5398333
Thomas van Noort, Wouter Swierstra
Publication date: 27 February 2014
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items
Uses Software
Cites Work
- More dependent types for distributed arrays
- Meta-programming With Built-in Type Equality
- First-order unification by structural recursion
- The view from the left
- Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
- Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
- Proceedings of the 15th ACM SIGPLAN international conference on Functional programming