1185 search results - page 116 / 237 » Implementing Functional Languages: a tutorial |
240
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
108
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
121
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
135
click to vote
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
Designing debugging tools for lazy functional programming languages is a complex task which is often solved by expensive tracing of lazy computations. We present a new approach in...
124
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...