[<<][haskell][>>][..]
Sun Mar 4 14:09:27 CET 2018

Strict ML embedding

1. Create an ML-like language into Haskell using the tagless final
representation?

2. Create a mapping from pure Haskell to this strict dialect using CCC.




[Reply][About]
[<<][haskell][>>][..]