458 search results - page 51 / 92 » Imperative Programming with Dependent Types |
119
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
As the enabling technologies of autonomic computing continue to advance, it is imperative for researchers to exchange the details of their proposed techniques for designing, devel...
111
click to vote
POPL
1993
ACM
15 years 6 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
118
click to vote
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
123
click to vote
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
126
Voted
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...