[Haskell-cafe] Thoughts on program annotations.

Stephen Tetley stephen.tetley at gmail.com
Fri Mar 4 17:04:47 CET 2011

There's also Martin Erwig's Parametric Fortran - which looks largely
similar but hides some of the parametric types with existentials.

Check the papers on his website, epscially the PADL one:


More information about the Haskell-Cafe mailing list