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