222 search results - page 5 / 45 » A Systematic Study of Functional Language Implementations |
ICFP
2008
ACM
14 years 7 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...
ICFP
2004
ACM
14 years 7 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
IFIP
2004
Springer
14 years 25 days ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...
WER
2007
Springer
14 years 1 months ago
2007
Springer
: Non-Functional Requirements (NFR) are subjective, interactive and relative, thus realizing the need for particular NFR is by itself a challenge. Furthermore understanding what th...
ALIFE
2007
13 years 7 months ago
2007
Cross-reactions and other systematic difficulties generated by the coupling of functional chemical subsystems pose the largest challenge for assembling a viable protocell in the la...