Volume 38,
Number 1,
January 2003
Conference Record of POPL 2003:
The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
New Orleans,
Louisisana,
January 15-17,
2003. ISBN 1-58113-628-5,
ACM,
2003
Contents
Volume 38,
Number 2,
February 2003
Technical correspondence
Volume 38,
Number 2 Supplement,
February 2003
Proceedings of The Workshop on Memory Systems Performance (MSP 2002),
June 16,
2002 and The International Symposium on Memory Management (ISMM 2002),
June 20-21,
222,
Berlin,
Germany.
Contents
Volume 38,
Number 3,
March 2003
Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003),
New Orleans,
LA,
USA,
January 18,
2003.
Contents
Volume 38,
Number 4,
April 2003
How things were
Forth
- Paul Frenger:
Evaluating Forth in the Windows environment.
13-15
Technical Correspondence
Volume 38,
Number 5,
May 2003
Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003.
ACM 2003, ISBN 1-58113-647-1
Contents
Volume 38,
Number 6,
June 2003
In Parallel
Curricular Patterns
Technical Correspondence
Volume 38,
Number 7,
July 2003
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003.
ACM 2003, ISBN 1-58113-662-5
Contents
Volume 38,
Number 8,
August 2003
In Parallel
Forth
Technical Correspondence
Volume 38,
Number 9,
September 2003
- Thomas Knight Jr.:
Conservation of information: applications in functional, reversible, and quantum computing.
1
- Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra:
Scripting the type inference process.
3-13
- Matthias Neubauer, Peter Thiemann:
Discriminative sum types locate the source of type errors.
15-26
- Didier Le Botlan, Didier Rémy:
MLF: raising ML to the power of system F.
27-38
- Vincent Simonet:
An extension of HM(X) with bounded existential and universal data-types.
39-50
- Véronique Benzaken, Giuseppe Castagna, Alain Frisch:
CDuce: an XML-centric general-purpose language.
51-63
- Michael Y. Levin:
Compiling regular patterns.
65-77
- Rex L. Page:
Software is discrete mathematics.
79-86
- James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough:
Global abstraction-safe marshalling with hash types.
87-98
- Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough:
Dynamic rebinding for marshalling and update, with destruct-time ?
99-110
- Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano:
Iterative-free program analysis.
111-123
- Harry G. Mairson:
From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis.
125
- David Walker, Steve Zdancewic, Jay Ligatti:
A theory of aspects.
127-139
- Andres Löh, Dave Clarke, Johan Jeuring:
Dependency-style generic haskell.
141-152
- Henrik Nilsson:
Functional automatic differentiation with dirac impulses.
153-164
- Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett:
A user-centred approach to functions in Excel.
165-176
- Yukiyoshi Kameyama, Masahito Hasegawa:
A sound and complete axiomatization of delimited continuations.
177-188
- Philip Wadler:
Call-by-value is dual to call-by-name.
189-201
- Emmanuel Beffara, Vincent Danos:
Disjunctive normal forms and local exceptions.
203-211
- Yitzhak Mandelbaum, David Walker, Robert Harper:
An effective theory of type refinements.
213-225
- Tomoyuki Higuchi, Atsushi Ohori:
A static type system for JVM access control.
227-237
- R. John M. Hughes, S. Doaitse Swierstra:
Polish parsers, step by step.
239-248
- Geoffrey Washburn, Stephanie Weirich:
Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism.
249-262
- Mark R. Shinwell, Andrew M. Pitts, Murdoch James Gabbay:
FreshML: programming with binders made simple.
263-274
- Chiyan Chen, Hongwei Xi:
Meta-programming through typeful code representation.
275-286
- Robert Ennals, Simon L. Peyton Jones:
Optimistic evaluation: an adaptive evaluation strategy for non-strict programs.
287-298
- Mitchell Wand:
Understanding aspects: extended abstract.
299-300
Volume 38,
Number 10,
October 2003
Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2003, San Diego, California, USA, June 7, 2003.
ACM 2003, ISBN 1-58113-667-6
Contents
Volume 38,
Number 11,
November 2003
Ron Crocker, Guy L. Steele Jr. (Eds.):
Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA.
ACM 2003, ISBN 1-58113-712-5
Contents
Volume 38,
Number 12,
December 2003
Colin Runciman, Olin Shivers (Eds.):
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003.
ACM 2003, ISBN 1-58113-756-7
Contents
Last update Tue Feb 14 04:22:34 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
