Pages that link to "Item:Q5746362"
From MaRDI portal
The following pages link to Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Q5746362):
Displaying 4 items.
- Special issue: ICFP 2010. Selected papers based on the presentations at the 15th ACM SIGPLAN international conference on functional programming, Baltimore, MD, USA, September 27--29, 2010. (Q2909918) (← links)
- Idris, a general-purpose dependently typed programming language: Design and implementation (Q5398331) (← links)
- A library for polymorphic dynamic typing (Q5398333) (← links)
- Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (Q5746214) (← links)