← Back to context

Comment by throwaway81523

2 days ago

See Cardelli's breakdown in his famous article "Typeful programming":

http://www.lucacardelli.name/Papers/TypefulProg.pdf

Page 52 perhaps.

0 comments

throwaway81523

Reply

No comments yet

Contribute on Hacker News ↗