Publication has no abstract
- On the Runtime Complexity of Type-Directed UnboxingYasuhiko Minamide, Jacques Garrigue. 1-12 [doi]
- Building Program Optimizers with Rewriting StrategiesEelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach. 13-26 [doi]
- Higher-Order Arity RaisingJohn Hannan, Patrick Hicks. 27-38 [doi]
- A Type Based Sharing Analysis for Update Avoidance and OptimisationJörgen Gustavsson. 39-50 [doi]
- Taming Effects with Monadic TypingRichard B. Kieburtz. 51-62 [doi]
- The Marriage of Effects and MonadsPhilip Wadler. 63-74 [doi]
- PLAN: A Packet Language for Active NetworksMichael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles. 86-93 [doi]
- Modular Object-Oriented Programming with Units and MixinsRobby Findler, Matthew Flatt. 94-104 [doi]
- Programming with Variable FunctionsMartin Odersky. 105-116 [doi]
- YALE: Yet Another Lambda Evaluator Based on Interaction NetsIan Mackie. 117-128 [doi]
- Compiling Standard ML to Java BytecodesNick Benton, Andrew Kennedy, George Russell. 129-140 [doi]
- Typed Cross-Module CompilationZhong Shao. 141-152 [doi]
- H/Direct: A Binary Foreign Language Interface for HaskellSigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones. 153-162 [doi]
- The Spineless Tagless G-machine, naturallyJon Mountjoy. 163-173 [doi]
- Lava: Hardware Design in HaskellPer Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh. 174-184 [doi]
- Lazy Computation with Exact Real NumbersAbbas Edalat, Peter John Potts, Philipp Sünderhauf. 185-194 [doi]
- Functional Differentiation of Computer ProgramsJerzy Karczmarczuk. 195-203 [doi]
- A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile ObjectsLuc Moreau. 204-215 [doi]
- Pragmatic Subtyping in Polymorphic LanguagesJohan Nordlander. 216-227 [doi]
- A Framework for Type Inference with SubtypingFrançois Pottier. 228-238 [doi]
- Cayenne - a Language with Dependent TypesLennart Augustsson. 239-250 [doi]
- Recycling ContinuationsJonathan Sobel, Daniel P. Friedman. 251-260 [doi]
- Imperative Streams - A Monadic Combinator Library for Synchronous ProgrammingEnno Scholz. 261-272 [doi]
- The Under-Appreciated UnfoldJeremy Gibbons, Geraint Jones. 273-279 [doi]
- Fold and Unfold for Program SemanticsGraham Hutton. 280-288 [doi]
- Encoding Types in ML-Like LanguagesZhe Yang. 289-300 [doi]
- Intensional Polymorphism in Type-Erasure SemanticsKarl Crary, Stephanie Weirich, J. Gregory Morrisett. 301-312 [doi]
- Implementing Typed Intermediate LanguagesZhong Shao, Christopher League, Stefan Monnier. 313-323 [doi]
- A Non-Deterministic Call-by-Need Lambda CalculusArne Kutzner, Manfred Schmidt-Schauß. 324-335 [doi]
- LAND*: an AND with local bindings, a ::::guarded:::: LET* special formOleg Kiselyov. 336 [doi]
- Type Errors Confuse the Programmer (Poster Abstract)Bruce J. McAdam. 338 [doi]
- Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite SpeedRobert Ennals. 339 [doi]
- Verbose TypingRobert Ennals. 340 [doi]
- On Application of Self-Similar Pictures in EducationZoran Putnik. 341 [doi]
- MAP: A Functional Analysis and Design MethodDan Russell. 342 [doi]
- A Delegation Language to Request Weather Products and a Scheme of Its InterpretationOleg Kiselyov. 343 [doi]
- A Structured Approach to Retrieving Functions by TypesNancy An, Young Park. 344 [doi]
- A Functional Programming Approach to Hypermedia AuthoringDaniel H. Marcos, Pablo E. Martínez López, Walter A. Risi. 346 [doi]
- A Term Calculus for Unitary Approach to NomalizationClaudia Faggian. 347 [doi]
- Implementing Design Patterns as Language ConstructsYan-David Erlich. 348 [doi]
- Automating Derivation of Incremental ProgramsYuchen Zhang, Yanhong A. Liu. 350 [doi]
- Combining CFG and Recursive Functions to Get a New LanguageHaiming Chen. 351 [doi]