Sciweavers

11 search results - page 1 / 3

» jfp 2007

11

JFP
2007

72views more JFP 2007»

On one-pass CPS transformations

13 years 4 months ago

On one-pass CPS transformations

Download www.brics.dk

Olivier Danvy, Kevin Millikin, Lasse R. Nielsen

claim paper

Read More »

9

JFP
2007

96views more JFP 2007»

An extended comparative study of language support for generic programming

13 years 3 months ago

An extended comparative study of language support for generic programming

Download www.osl.iu.edu

Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine...

claim paper

Read More »

12

JFP
2007

112views more JFP 2007»

Dependent ML An approach to practical programming with dependent types

13 years 4 months ago

Dependent ML An approach to practical programming with dependent types

Download www.ats-lang.org

We present an approach to enriching the type system of ML with a restricted form of de

Hongwei Xi

claim paper

Read More »

11

JFP
2007

110views more JFP 2007»

Spreadsheet functional programming

13 years 4 months ago

Spreadsheet functional programming

Download www.activemode.com

The functional programming community has shown some interest in spreadsheets, but surprisingly no one seems to have considered making a standard spreadsheet, such as Excel, work w...

David Wakeling

claim paper

Read More »

10

JFP
2007

103views more JFP 2007»

Warnings for pattern matching

13 years 4 months ago

Warnings for pattern matching

Download pauillac.inria.fr

We examine the ML pattern-matching anomalies of useless clauses and non-exhaustive matches. We state the deﬁnition of these anomalies, building upon pattern matching semantics, ...

Luc Maranget

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »