Adding ConApp to Core

[Ben Gamari]

Carter Schonwald <carter.schonwald at gmail.com> 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/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20160927/573419e1/attachment.sig>