Abstract is missing.
- Conservation of information: applications in functional, reversible, and quantum computingThomas Knight Jr.. 1 [doi]
- Scripting the type inference processBastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra. 3-13 [doi]
- Discriminative sum types locate the source of type errorsMatthias Neubauer, Peter Thiemann. 15-26 [doi]
- ML:::F:::: raising ML to the power of system FDidier Le Botlan, Didier Rémy. 27-38 [doi]
- An extension of HM(X) with bounded existential and universal data-typesVincent Simonet. 39-50 [doi]
- CDuce: an XML-centric general-purpose languageVéronique Benzaken, Giuseppe Castagna, Alain Frisch. 51-63 [doi]
- Compiling regular patternsMichael Y. Levin. 65-77 [doi]
- Software is discrete mathematicsRex L. Page. 79-86 [doi]
- Global abstraction-safe marshalling with hash typesJames J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough. 87-98 [doi]
- Dynamic rebinding for marshalling and update, with destruct-time?Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough. 99-110 [doi]
- Iterative-free program analysisMizuhito Ogawa, Zhenjiang Hu, Isao Sasano. 111-123 [doi]
- From Hilbert space to Dilbert space: context semantics as a language for games and flow analysisHarry G. Mairson. 125 [doi]
- A theory of aspectsDavid Walker, Steve Zdancewic, Jay Ligatti. 127-139 [doi]
- Dependency-style generic HaskellAndres Löh, Dave Clarke, Johan Jeuring. 141-152 [doi]
- Functional automatic differentiation with dirac impulsesHenrik Nilsson. 153-164 [doi]
- A user-centred approach to functions in ExcelSimon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett. 165-176 [doi]
- A sound and complete axiomatization of delimited continuationsYukiyoshi Kameyama, Masahito Hasegawa. 177-188 [doi]
- Call-by-value is dual to call-by-namePhilip Wadler. 189-201 [doi]
- Disjunctive normal forms and local exceptionsEmmanuel Beffara, Vincent Danos. 203-211 [doi]
- An effective theory of type refinementsYitzhak Mandelbaum, David Walker, Robert Harper. 213-225 [doi]
- A static type system for JVM access controlTomoyuki Higuchi, Atsushi Ohori. 227-237 [doi]
- Polish parsers, step by stepR. John M. Hughes, S. Doaitse Swierstra. 239-248 [doi]
- Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphismGeoffrey Washburn, Stephanie Weirich. 249-262 [doi]
- FreshML: programming with binders made simpleMark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay. 263-274 [doi]
- Meta-programming through typeful code representationChiyan Chen, Hongwei Xi. 275-286 [doi]
- Optimistic evaluation: an adaptive evaluation strategy for non-strict programsRobert Ennals, Simon L. Peyton Jones. 287-298 [doi]
- Understanding aspects: extended abstractMitchell Wand. 299-300 [doi]