856 search results - page 19 / 172 » Dependent Types in Practical Programming |
ECOOP
2000
Springer
14 years 29 days ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
ML
2006
ACM
14 years 2 months ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
POPL
1990
ACM
14 years 20 days ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
ICFP
2001
ACM
14 years 8 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...