2106 search results - page 215 / 422 » Operational Semantics for DyLPs |
227
click to vote
POPL
1994
ACM
15 years 10 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
177
click to vote
LFP
1992
15 years 7 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
180
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
172
click to vote
CSL
1999
Springer
15 years 10 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
194
click to vote
FLOPS
1999
Springer
15 years 10 months ago
1999
Springer
We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constrai...