Manuel Simoni's blog about programming (languages).
Showing posts with label
dependent
.
Show all posts
Showing posts with label
dependent
.
Show all posts
Thursday, November 11, 2010
Dependent types linkdump
›
This dependent typing thing has me. For the first time in years I find I'm actually learning something about programming. There is life...
Monday, October 25, 2010
Notes on Dependent Types
›
Since discovering Ωmega , I've been drawn into the fantastic world of dependent typing. Dependent types allow the expression of static i...
2 comments:
›
Home
View web version
