Carter Schonwald <[email protected]> writes: > I'm trying to google the System IF spj mentioned earlier in this > topic/ or on trac. Google and other search tools are failing me. Can > anyone kindly direct me to what papers or expositions on this system f > variant ?
You are looking for Jay and Peyton Jones. "Scrap Your Type Applications" (2008) [1]. Cheers, - Ben [1] https://www.microsoft.com/en-us/research/people/simonpj/
signature.asc
Description: PGP signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
