×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [singleton type]
Attention is spontaneously biased toward regularities
131 views
CAML Tutorial
69 views
Dependent Types for High- Confidence Distributed Systems Paul Sivilotti - Ohio State Hongwei Xi – Cincinnati (Boston Univ.)
218 views
1 Dependent Types in Practical Programming Hongwei Xi University of Cincinnati
219 views