Sciweavers

61
Voted
HASKELL
2005
ACM

Putting curry-howard to work

15 years 2 months ago
Putting curry-howard to work
Tim Sheard
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where HASKELL
Authors Tim Sheard
Comments (0)