Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell
No abstract available.
Related papers
- Once Upon a Polymorphic Type POPL 1999
- Scalable i/o event handling for GHC Haskell 2010
- Experience report: type-checking polymorphic units for astrophysics research in Haskell Haskell 2014
- Beyond Relooper: recursive translation of unstructured control flow to structured control flow (functional pearl) ICFP 2022
- Promoting functions to type families in Haskell Haskell 2014
- Injective type families for Haskell Haskell 2015
- System FC with explicit kind equality ICFP 2013
- Causality of optimized Haskell: what is burning our cycles? Haskell 2013