Sciweavers

34 search results - page 2 / 7

» icfp 2003

16

ICFP
2003
ACM

129views Programming Languages» more ICFP 2003»

Dependency-style generic Haskell

14 years 5 months ago

Dependency-style generic Haskell

Download www.cs.uu.nl

Andres Löh, Dave Clarke, Johan Jeuring

claim paper

Read More »

10

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

14 years 5 months ago

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

Download users.dimi.uniud.it

Alberto Ciaffaglione, Luigi Liquori, Marino Micula...

claim paper

Read More »

10

ICFP
2003
ACM

88views Programming Languages» more ICFP 2003»

Global abstraction-safe marshalling with hash types

14 years 5 months ago

Global abstraction-safe marshalling with hash types

Download www.cl.cam.ac.uk

James J. Leifer, Gilles Peskine, Peter Sewell, Kei...

claim paper

Read More »

14

ICFP
2003
ACM

85views Programming Languages» more ICFP 2003»

Reasoning about recursive procedures with parameters

13 years 10 months ago

Reasoning about recursive procedures with parameters

Download users.abo.fi

In this paper we extend the model of program variables from the Reﬁnement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...

Ralph-Johan Back, Viorel Preoteasa

claim paper

Read More »

16

ICFP
2003
ACM

90views Programming Languages» more ICFP 2003»

Disjunctive normal forms and local exceptions

14 years 5 months ago

Disjunctive normal forms and local exceptions

Download iml.univ-mrs.fr

All classical -terms typable with disjunctive normal forms are shown to share a common computational behavior: they implement a local exception handling mechanism whose exact work...

Emmanuel Beffara, Vincent Danos

claim paper

Read More »

« Prev « First page 2 / 7 Last » Next »