Lament Configuration
source
log in
Recursive Types For Free
http://homepages.inf.ed.ac.uk/wadler/papers/free-rectypes/free-rectypes.txt
programming
logic
2016-02-01
gdritter
An Interview with Shea Zellweger
http://www.cabinetmagazine.org/issues/18/crystal.php
logic
notation
2016-01-16
gdritter
A Taste of Linear Logic
http://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf
logic
scholar
pl
2016-01-16
gdritter
More Proofs That P
http://consc.net/misc/moreproofs.html
logic
2016-01-16
gdritter
Proofs That P
http://consc.net/misc/proofs.html
logic
2016-01-16
gdritter
Beluga Language
http://www.cs.mcgill.ca/~complogic/beluga/
pl
logic
2016-01-16
gdritter
notation
pl
programming
scholar
first
prev
next
last
