218 search results - page 5 / 44 » Types and trace effects of higher order programs |
112
Voted
APLAS
2004
ACM
15 years 9 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
137
Voted
IFL
2003
Springer
15 years 8 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
174
Voted
HIPEAC
2011
Springer
14 years 3 months ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...
145
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
140
Voted
POPL
1990
ACM
15 years 7 months 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...