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 19:04:10
—
@gdritter
An Interview with Shea Zellweger
http://www.cabinetmagazine.org/issues/18/crystal.php
logic
notation
2016-01-16 10:46:35
—
@gdritter
A Taste of Linear Logic
http://homepages.inf.ed.ac.uk/wadler/papers/lineartaste/lineartaste-revised.pdf
logic
scholar
pl
2016-01-16 10:28:40
—
@gdritter
More Proofs That P
http://consc.net/misc/moreproofs.html
logic
2016-01-16 10:20:50
—
@gdritter
Proofs That P
http://consc.net/misc/proofs.html
logic
2016-01-16 10:08:18
—
@gdritter
Beluga Language
http://www.cs.mcgill.ca/~complogic/beluga/
pl
logic
2016-01-16 09:56:58
—
@gdritter
notation
pl
programming
scholar
first
prev
next
last