ICFP 1998

46 papers

1. A Delegation Language to Request Weather Products and a Scheme of Its Interpretation · Oleg Kiselyov
2. A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects · Luc Moreau
3. A Framework for Type Inference with Subtyping · François Pottier
4. A Functional Programming Approach to Hypermedia Authoring · Daniel H. Marcos, Pablo E. Martínez López, Walter A. Risi
5. A Lazy CGI Namespace in Scheme · Oleg Kiselyov
6. A Non-Deterministic Call-by-Need Lambda Calculus · Arne Kutzner, Manfred Schmidt-Schauß
7. A Structured Approach to Retrieving Functions by Types · Nancy An, Young Park
8. A Term Calculus for Unitary Approach to Nomalization · Claudia Faggian
9. A Theory of Core Fudgets · Colin J. Taylor
10. A Type Based Sharing Analysis for Update Avoidance and Optimisation · Jörgen Gustavsson
11. Automating Derivation of Incremental Programs · Yuchen Zhang, Yanhong A. Liu
12. Building Program Optimizers with Rewriting Strategies · Eelco Visser, Zine-El-Abidine Benaissa, Andrew P. Tolmach
13. Cayenne - a Language with Dependent Types · Lennart Augustsson
14. Combining CFG and Recursive Functions to Get a New Language · Haiming Chen
15. Compiling Standard ML to Java Bytecodes · Nick Benton, Andrew Kennedy, George Russell
16. Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed · Robert Ennals
17. Encoding Types in ML-Like Languages · Zhe Yang
18. Fold and Unfold for Program Semantics · Graham Hutton
19. Frob - Functional Robotics · Gary Shu Ling
20. Functional Differentiation of Computer Programs · Jerzy Karczmarczuk
21. Functional Style in C++: Closures, Late Binding, and Lambda Abstractions · Oleg Kiselyov
22. H/Direct: A Binary Foreign Language Interface for Haskell · Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones
23. Higher-Order Arity Raising · John Hannan, Patrick Hicks
24. Imperative Streams - A Monadic Combinator Library for Synchronous Programming · Enno Scholz
25. Implementing Design Patterns as Language Constructs · Yan-David Erlich
26. Implementing Typed Intermediate Languages · Zhong Shao, Christopher League, Stefan Monnier
27. Intensional Polymorphism in Type-Erasure Semantics · Karl Crary, Stephanie Weirich, J. Gregory Morrisett
28. LAND*: an AND with local bindings, a guarded LET* special form · Oleg Kiselyov
29. Lava: Hardware Design in Haskell · Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
30. Lazy Computation with Exact Real Numbers · Abbas Edalat, Peter John Potts, Philipp Sünderhauf
31. MAP: A Functional Analysis and Design Method · Dan Russell
32. Modular Object-Oriented Programming with Units and Mixins · Robert Bruce Findler, Matthew Flatt
33. On Application of Self-Similar Pictures in Education · Zoran Putnik
34. On the Runtime Complexity of Type-Directed Unboxing · Yasuhiko Minamide, Jacques Garrigue
35. PLAN: A Packet Language for Active Networks · Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
36. Pragmatic Subtyping in Polymorphic Languages · Johan Nordlander
37. Programming with Variable Functions · Martin Odersky
38. Recycling Continuations · Jonathan Sobel, Daniel P. Friedman
39. Taming Effects with Monadic Typing · Richard B. Kieburtz
40. The Marriage of Effects and Monads · Philip Wadler
41. The Spineless Tagless G-machine, naturally · Jon Mountjoy
42. The Under-Appreciated Unfold · Jeremy Gibbons, Geraint Jones
43. Type Errors Confuse the Programmer (Poster Abstract) · Bruce J. McAdam
44. Typed Cross-Module Compilation · Zhong Shao
45. Verbose Typing · Robert Ennals
46. YALE: Yet Another Lambda Evaluator Based on Interaction Nets · Ian Mackie