Sign in
SIGPLAN Notices
2003
2003
2003
Keyphrases
Publications
2003
Emmanuel Beffara
,
Vincent Danos
Disjunctive normal forms and local exceptions.
SIGPLAN Notices
(2003)
Bastiaan Heeren
,
S. Doaitse Swierstra
,
Jurriaan Hage
Scripting the type inference process.
SIGPLAN Notices
(2003)
Steve Zdancewic
,
David Walker
,
Jay Ligatti
A theory of aspects.
SIGPLAN Notices
(2003)
David Walker
,
Robert Harper
,
Yitzhak Mandelbaum
An effective theory of type refinements.
SIGPLAN Notices
(2003)
Thomas Knight Jr.
Conservation of information: applications in functional, reversible, and quantum computing.
SIGPLAN Notices
(2003)
Yukiyoshi Kameyama
,
Masahito Hasegawa
A sound and complete axiomatization of delimited continuations.
SIGPLAN Notices
(2003)
Robert Ennals
,
Simon L. Peyton Jones
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.
SIGPLAN Notices
(2003)
Hongwei Xi
,
Chiyan Chen
Meta-programming through typeful code representation.
SIGPLAN Notices
(2003)
Henrik Nilsson
Functional automatic differentiation with dirac impulses.
SIGPLAN Notices
(2003)
Matthias Neubauer
,
Peter Thiemann
Discriminative sum types locate the source of type errors.
SIGPLAN Notices
(2003)
Harry G. Mairson
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis.
SIGPLAN Notices
(2003)
Zhenjiang Hu
,
Isao Sasano
,
Mizuhito Ogawa
Iterative-free program analysis.
SIGPLAN Notices
(2003)
Didier Rémy
,
Didier Le Botlan
: raising ML to the power of system F.
SIGPLAN Notices
(2003)
Michael Y. Levin
Compiling regular patterns.
SIGPLAN Notices
(2003)
Rex L. Page
Software is discrete mathematics.
SIGPLAN Notices
(2003)
Giuseppe Castagna
,
Véronique Benzaken
,
Alain Frisch
CDuce: an XML-centric general-purpose language.
SIGPLAN Notices
(2003)
Philip Wadler
Call-by-value is dual to call-by-name.
SIGPLAN Notices
(2003)
Margaret M. Burnett
,
Alan F. Blackwell
,
Simon L. Peyton Jones
A user-centred approach to functions in Excel.
SIGPLAN Notices
(2003)
Peter Sewell
,
James J. Leifer
,
Keith Wansbrough
,
Gilles Peskine
Global abstraction-safe marshalling with hash types.
SIGPLAN Notices
(2003)
Stephanie Weirich
,
Geoffrey Washburn
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.
SIGPLAN Notices
(2003)
Mitchell Wand
Understanding aspects: extended abstract.
SIGPLAN Notices
(2003)
Johan Jeuring
,
Dave Clarke
,
Andres Löh
Dependency-style generic haskell.
SIGPLAN Notices
(2003)
Tomoyuki Higuchi
,
Atsushi Ohori
A static type system for JVM access control.
SIGPLAN Notices
(2003)
Andrew M. Pitts
,
Murdoch James Gabbay
,
Mark R. Shinwell
FreshML: programming with binders made simple.
SIGPLAN Notices
(2003)
Gareth Paul Stoyle
,
Peter Sewell
,
Michael Hicks
,
Keith Wansbrough
,
Gavin M. Bierman
Dynamic rebinding for marshalling and update, with destruct-time ?
SIGPLAN Notices
(2003)
R. John M. Hughes
,
S. Doaitse Swierstra
Polish parsers, step by step.
SIGPLAN Notices
(2003)
Vincent Simonet
An extension of HM(X) with bounded existential and universal data-types.
SIGPLAN Notices
(2003)