×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [x head]
Home >
x head
Wearing the hair shirt A retrospective on Haskell Simon Peyton Jones Microsoft Research, Cambridge.
221 views
HASKELL TO LOGIC THROUGH DENOTATIONAL SEMANTICS Dimitrios Vytiniotis, Koen Claessen, Simon Peyton Jones, Dan Rosén POPL 2013, January 2013 1.
218 views
Static Contract Checking for Haskell Dana N. Xu University of Cambridge Ph.D. Supervisor: Simon Peyton Jones Microsoft Research Cambridge.
229 views
Trends in Programming Technology you might want to keep an eye on af Bent Thomsen, AAU
4.479 views
Linked lists
4.432 views
Stream Right Video
309 views
Intro To Agda
1.985 views
MT2004
58 views
What is UCODE_2005?
39 views