Titlebook: Implementation and Application of Functional Languages; 22nd International S Jurriaan Hage,Marco T. Morazán Conference proceedings 2011 Spr

用树皮

Automating Derivations of Abstract Machines from Reduction Semantics:, machine equivalent to it. The article is accompanied by a Coq development that contains the formalization of the refocusing method and a number of case studies that serve both as an illustration of the method and as a sanity check on the axiomatization.

CHART

iTask as a New Paradigm for Building GUI Applications,ming GUI applications. In this paper, we identify these key features and show how they can be added to the . system in an orthogonal way, thus creating a new paradigm for programming GUI applications.

FADE

战胜

Arie Middelkoop,Atze Dijkstra,S. Doaitse Swierstra

领带

Stephan Herhut,Carl Joslin,Sven-Bodo Scholz,Raphael Poss,Clemens Grelck

Carcinogenesis

Haskell Boards the Ferry, out . and . computations. In this paper we present a Haskell library for database-supported program execution. Data-intensive and data-parallel computations are expressed using familiar combinators from the standard list prelude and are entirely executed on the database coprocessor. Programming wit

喷出

Pruritus

Orthogonal Serialisation for Haskell,wever, a number of questions arise when the language in question uses demand-driven evaluation and supports higher-order functions, as is the case for the lazy functional language Haskell. To date, solutions to serialisation for Haskell generally do not support higher-order functions and introduce a

OTHER

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages,ism and the developments in hardware technology, ask for renewed investigation of this topic. In this paper, we use ideas from modern processor architectures and the state of the art in compilation, to guide the design of our processor, the PilGRIM. We define a high-level instruction set for lazy fu

CAND