1320 search results - page 84 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
144
Voted
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
119
click to vote
POPL
1992
ACM
15 years 8 months ago
1992
ACM
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations, more efficien...
116
click to vote
JAVA
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes the design, implementation, and performance of a Java framework for supporting a style of parallel programming in which problems are solved by (recursively) s...
130
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
183
click to vote
DLS
2010
15 years 2 months ago
2010
Dynamic languages such as Python allow programs to be written more easily using high-level constructs such as comprehensions for queries and using generic code. Efficient executio...