×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [singleton type]
Home >
singleton type
CAML Tutorial
48 views
Dependent Types for High- Confidence Distributed Systems Paul Sivilotti - Ohio State Hongwei Xi – Cincinnati (Boston Univ.)
212 views
1 Dependent Types in Practical Programming Hongwei Xi University of Cincinnati.
217 views