Re: Adding ConApp to Core

Carter Schonwald 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/