8. ICFP 2003: Uppsala, Sweden

@proceedings{DBLP:conf/icfp/2003,
  editor    = {Colin Runciman and
               Olin Shivers},
  title     = {Proceedings of the Eighth ACM SIGPLAN International Conference
               on Functional Programming, ICFP 2003, Uppsala, Sweden, August
               25-29, 2003},
  booktitle = {ICFP},
  publisher = {ACM},
  year      = {2003},
  isbn      = {1-58113-756-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Thomas Knight Jr.:
  Conservation of information: applications in functional, reversible, and quantum computing. 1
  Electronic Edition (ACM DL) BibTeX
• Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra:
  Scripting the type inference process. 3-13
  Electronic Edition (ACM DL) BibTeX
• Matthias Neubauer, Peter Thiemann:
  Discriminative sum types locate the source of type errors. 15-26
  Electronic Edition (ACM DL) BibTeX
• Didier Le Botlan, Didier Rémy:
  ML^F: raising ML to the power of system F. 27-38
  Electronic Edition (ACM DL) BibTeX
• Vincent Simonet:
  An extension of HM(X) with bounded existential and universal data-types. 39-50
  Electronic Edition (ACM DL) BibTeX
• Véronique Benzaken, Giuseppe Castagna, Alain Frisch:
  CDuce: an XML-centric general-purpose language. 51-63
  Electronic Edition (ACM DL) BibTeX
• Michael Y. Levin:
  Compiling regular patterns. 65-77
  Electronic Edition (ACM DL) BibTeX
• Rex L. Page:
  Software is discrete mathematics. 79-86
  Electronic Edition (ACM DL) BibTeX
• James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough:
  Global abstraction-safe marshalling with hash types. 87-98
  Electronic Edition (ACM DL) BibTeX
• Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough:
  Dynamic rebinding for marshalling and update, with destruct-time? 99-110
  Electronic Edition (ACM DL) BibTeX
• Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano:
  Iterative-free program analysis. 111-123
  Electronic Edition (ACM DL) BibTeX
• Harry G. Mairson:
  From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. 125
  Electronic Edition (ACM DL) BibTeX
• David Walker, Steve Zdancewic, Jay Ligatti:
  A theory of aspects. 127-139
  Electronic Edition (ACM DL) BibTeX
• Andres Löh, Dave Clarke, Johan Jeuring:
  Dependency-style generic Haskell. 141-152
  Electronic Edition (ACM DL) BibTeX
• Henrik Nilsson:
  Functional automatic differentiation with dirac impulses. 153-164
  Electronic Edition (ACM DL) BibTeX
• Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett:
  A user-centred approach to functions in Excel. 165-176
  Electronic Edition (ACM DL) BibTeX
• Yukiyoshi Kameyama, Masahito Hasegawa:
  A sound and complete axiomatization of delimited continuations. 177-188
  Electronic Edition (ACM DL) BibTeX
• Philip Wadler:
  Call-by-value is dual to call-by-name. 189-201
  Electronic Edition (ACM DL) BibTeX
• Emmanuel Beffara, Vincent Danos:
  Disjunctive normal forms and local exceptions. 203-211
  Electronic Edition (ACM DL) BibTeX
• Yitzhak Mandelbaum, David Walker, Robert Harper:
  An effective theory of type refinements. 213-225
  Electronic Edition (ACM DL) BibTeX
• Tomoyuki Higuchi, Atsushi Ohori:
  A static type system for JVM access control. 227-237
  Electronic Edition (ACM DL) BibTeX
• R. John M. Hughes, S. Doaitse Swierstra:
  Polish parsers, step by step. 239-248
  Electronic Edition (ACM DL) BibTeX
• Geoffrey Washburn, Stephanie Weirich:
  Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. 249-262
  Electronic Edition (ACM DL) BibTeX
• Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay:
  FreshML: programming with binders made simple. 263-274
  Electronic Edition (ACM DL) BibTeX
• Chiyan Chen, Hongwei Xi:
  Meta-programming through typeful code representation. 275-286
  Electronic Edition (ACM DL) BibTeX
• Robert Ennals, Simon L. Peyton Jones:
  Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. 287-298
  Electronic Edition (ACM DL) BibTeX
• Mitchell Wand:
  Understanding aspects: extended abstract. 299-300
  Electronic Edition (ACM DL) BibTeX