JFP 2002 | Sciweavers

13

JFP
2002

100views more JFP 2002»

A typed representation for HTML and XML documents in Haskell

13 years 4 months ago

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

claim paper

Read More »

13

click to vote

JFP
2002

94views more JFP 2002»

The lambda calculus is algebraic

13 years 4 months ago

Download www.mscs.dal.ca

Peter Selinger

claim paper

Read More »

8

click to vote

JFP
2002

108views more JFP 2002»

A calculus with polymorphic and polyvariant flow types

13 years 4 months ago

Download www.macs.hw.ac.uk

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...

claim paper

Read More »

12

click to vote

JFP
2002

82views more JFP 2002»

Parallel and Distributed Haskells

13 years 4 months ago

Download www.macs.hw.ac.uk

Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. ...

claim paper

Read More »

10

click to vote

JFP
2002

96views more JFP 2002»

Secrets of the Glasgow Haskell Compiler inliner

13 years 4 months ago

Download research.microsoft.com

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

claim paper

Read More »

14

click to vote

JFP
2002

89views more JFP 2002»

The countdown problem

13 years 4 months ago

Download www.cs.nott.ac.uk

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

claim paper

Read More »

11

click to vote

JFP
2002

116views more JFP 2002»

Recursive subtyping revealed

13 years 4 months ago

Download www.dsi.unive.it

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...

claim paper

Read More »

16

click to vote

JFP
2002

95views more JFP 2002»

DrScheme: a programming environment for Scheme

13 years 4 months ago

Download slang.soe.ucsc.edu

Robert Bruce Findler, John Clements, Cormac Flanag...

claim paper