×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [dependent types]
Technology
Scalaz By Example (An IO Taster) -- PDXScala Meetup Jan 2014
1.147 views
Technology
Abstractions at Scale – Our Experiences at Twitter
722 views
Documents
idris-tutorial.pdf
130 views
Science
Dependent Types in Natural Language Semantics
63 views
Documents
Towards a language design for modular software verification Aleks Nanevski Microsoft Research, Cambridge Joint with Greg Morrisett (Harvard), Lars Birkedal
216 views
Documents
CLF: A Concurrent Logical Framework David Walker Princeton (with I. Cervesato, F. Pfenning, K. Watkins)
221 views
Documents
1 Dependent Types in Practical Programming Hongwei Xi University of Cincinnati
219 views
Documents
Computing & Information Sciences Kansas State University Boulder, Colorado First International Conference on Weblogs And Social Media (ICWSM-2007) Structural
216 views
Documents
Leading Flying Objects Stephen M. Watt UWORCS: University of Western Ontario Research in Computer Science -- 12 April 2013
217 views
Documents
CIL: Intermediate Language and Tools for Analysis and Transformation of C programs
36 views
Documents
CLF: A Concurrent Logical Framework
82 views