[Haskell-cafe] Adding type annotations to an AST?

Stephen Tetley stephen.tetley at gmail.com
Mon Mar 5 13:52:59 CET 2012


Partially answering my own question - it seems like I want "type
directed translation" as per section 8 of "Practical Type Inference
for Arbitrary Ranked Types".

Does anyone know of a presentation with a simpler type language?

Thanks again

Stephen



More information about the Haskell-Cafe mailing list