Pierce's TAPL, also, and Harper's Practical Foundations. There's also some thing... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		gtani on Aug 12, 2013 \| parent \| context \| favorite \| on: Mio: A High-Performance Multicore IO Manager for G... Pierce's TAPL, also, and Harper's Practical Foundations. There's also some things i've seen about how scala does it, but I'll have to dig for them http://www.cs.cmu.edu/~rwh/plbook/book.pdf

octo_t on Aug 12, 2013 [–]

See also the DOT calculus[1] (Dependent Object Types) being the basis for a new foundation for scala's type system

[1] - https://github.com/namin/dot

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact