用树皮
发表于 2025-3-26 21:20:45
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
发表于 2025-3-27 02:01:12
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
发表于 2025-3-27 08:31:50
http://reply.papertrans.cn/47/4626/462549/462549_33.png
战胜
发表于 2025-3-27 10:13:01
Arie Middelkoop,Atze Dijkstra,S. Doaitse Swierstra
领带
发表于 2025-3-27 14:02:09
Stephan Herhut,Carl Joslin,Sven-Bodo Scholz,Raphael Poss,Clemens Grelck
Carcinogenesis
发表于 2025-3-27 18:55:51
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
喷出
发表于 2025-3-27 22:47:18
http://reply.papertrans.cn/47/4626/462549/462549_37.png
Pruritus
发表于 2025-3-28 04:12:32
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
发表于 2025-3-28 08:41:38
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
发表于 2025-3-28 14:24:14
http://reply.papertrans.cn/47/4626/462549/462549_40.png