The Room
Do I dare disturb the universe?
CV
Colophon
Links For 2007 10 19
links for 2007-10-19
Lightweight Dependent-type Programming
(tags:
functional
haskell
ml
programming
dependent-types
typing
)
Written on October 19th, 2007 by Chris Prather
You may also enjoy: