Sciweavers

JFP
2002
100views more  JFP 2002»
13 years 7 months ago
A typed representation for HTML and XML documents in Haskell
We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML...
Peter Thiemann
JFP
2002
94views more  JFP 2002»
13 years 7 months ago
The lambda calculus is algebraic
Peter Selinger
JFP
2002
108views more  JFP 2002»
13 years 7 months ago
A calculus with polymorphic and polyvariant flow types
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
J. B. Wells, Allyn Dimock, Robert Muller, Franklyn...
JFP
2002
82views more  JFP 2002»
13 years 7 months ago
Parallel and Distributed Haskells
Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. ...
JFP
2002
96views more  JFP 2002»
13 years 7 months ago
Secrets of the Glasgow Haskell Compiler inliner
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
Simon L. Peyton Jones, Simon Marlow
JFP
2002
89views more  JFP 2002»
13 years 7 months ago
The countdown problem
We systematically develop a functional program that solves the countdown problem, a numbers game in which the aim is to construct arithmetic expressions satisfying certain constra...
Graham Hutton
JFP
2002
116views more  JFP 2002»
13 years 7 months ago
Recursive subtyping revealed
Algorithms for checking subtyping between recursive types lie at the core of many programming language implementations. But the fundamental theory of these algorithms and how they...
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pi...
JFP
2002
95views more  JFP 2002»
13 years 7 months ago
DrScheme: a programming environment for Scheme
Robert Bruce Findler, John Clements, Cormac Flanag...