Matthias Felleisen, Paul Hudak, Christian Queinnec
Proceedings of the Third International Conference on Functional Programming
ICFP, 1998.

@proceedings{ICFP-1998,
	address       = "Baltimore, Maryland, USA",
	editor        = "Matthias Felleisen and Paul Hudak and Christian Queinnec",
	isbn          = "1-58113-024-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third International Conference on Functional Programming}",
	volume        = "SIGPLAN Notices 34(1), January 1999",
	year          = 1998,
}

Contents (46 items)

7 ×#named
5 ×#functional
4 ×#programming
4 ×#type system
3 ×#approach
3 ×#monad
2 ×#analysis
2 ×#compilation
2 ×#design
2 ×#haskell

ICFP-1998-MinamideG #complexity #on the #runtime

On the Runtime Complexity of Type-Directed Unboxing (YM, JG), pp. 1–12.

ICFP-1998-VisserBT

Building Program Optimizers with Rewriting Strategies (EV, ZEAB, APT), pp. 13–26.

ICFP-1998-HannanH #higher-order

Higher-Order Arity Raising (JH, PH), pp. 27–38.

ICFP-1998-Gustavsson #analysis #optimisation

A Type Based Sharing Analysis for Update Avoidance and Optimisation (JG), pp. 39–50.

ICFP-1998-Kieburtz #monad #type system

Taming Effects with Monadic Typing (RBK), pp. 51–62.

ICFP-1998-Wadler #monad

The Marriage of Effects and Monads (PW), pp. 63–74.

ICFP-1998-Taylor #formal method

A Theory of Core Fudgets (CJT), pp. 75–85.

ICFP-1998-HicksKMGN #named #network

PLAN: A Packet Language for Active Networks (MWH, PK, JTM, CAG, SN), pp. 86–93.

ICFP-1998-FindlerF #composition #mixin #object-oriented #programming

Modular Object-Oriented Programming with Units and Mixins (RBF, MF), pp. 94–104.

ICFP-1998-Odersky #programming

Programming with Variable Functions (MO), pp. 105–116.

ICFP-1998-Mackie #interactive #named

YALE: Yet Another λ Evaluator Based on Interaction Nets (IM), pp. 117–128.

ICFP-1998-BentonKR #compilation #java #ml #standard

Compiling Standard ML to Java Bytecodes (NB, AK, GR), pp. 129–140.

ICFP-1998-Shao #compilation

Typed Cross-Module Compilation (ZS), pp. 141–152.

ICFP-1998-FinneLMJ #haskell #interface #named

H/Direct: A Binary Foreign Language Interface for Haskell (SF, DL, EM, SLPJ), pp. 153–162.

ICFP-1998-Mountjoy

The Spineless Tagless G-machine, naturally (JM), pp. 163–173.

ICFP-1998-BjesseCSS #design #hardware #haskell #named

Lava: Hardware Design in Haskell (PB, KC, MS, SS), pp. 174–184.

ICFP-1998-EdalatPS #lazy evaluation

Lazy Computation with Exact Real Numbers (AE, PJP, PS), pp. 185–194.

ICFP-1998-Karczmarczuk #difference #functional #source code

Functional Differentiation of Computer Programs (JK), pp. 195–203.

ICFP-1998-Moreau #distributed #garbage collection #mobile

A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects (LM), pp. 204–215.

ICFP-1998-Nordlander #polymorphism #type system

Pragmatic Subtyping in Polymorphic Languages (JN), pp. 216–227.

ICFP-1998-Pottier #framework #type inference #type system

A Framework for Type Inference with Subtyping (FP), pp. 228–238.

ICFP-1998-Augustsson #dependent type #named

Cayenne — a Language with Dependent Types (LA), pp. 239–250.

ICFP-1998-SobelF #continuation

Recycling Continuations (JS, DPF), pp. 251–260.

ICFP-1998-Scholz #combinator #imperative #library #monad #programming

Imperative Streams — A Monadic Combinator Library for Synchronous Programming (ES), pp. 261–272.

ICFP-1998-GibbonsJ

The Under-Appreciated Unfold (JG, GJ), pp. 273–279.

ICFP-1998-Hutton #semantics

Fold and Unfold for Program Semantics (GH), pp. 280–288.

ICFP-1998-Yang #encoding

Encoding Types in ML-Like Languages (ZY), pp. 289–300.

ICFP-1998-CraryWM #morphism #polymorphism #semantics

Intensional Polymorphism in Type-Erasure Semantics (KC, SW, JGM), pp. 301–312.

ICFP-1998-ShaoLM #implementation

Implementing Typed Intermediate Languages (ZS, CL, SM), pp. 313–323.

ICFP-1998-KutznerS #call-by #nondeterminism #λ-calculus

A Non-Deterministic Call-by-Need λ Calculus (AK, MSS), pp. 324–335.

ICFP-1998-Kiselyov

LAND*: an AND with local bindings, a guarded LET* special form (OK), p. 336.

ICFP-1998-Kiselyov98a #abstraction #c++ #functional

Functional Style in C++: Closures, Late Binding, and λ Abstractions (OK), p. 337.

ICFP-1998-McAdam #fault

Type Errors Confuse the Programmer (Poster Abstract) (BJM), p. 338.

ICFP-1998-Ennals #finite #nondeterminism #reasoning

Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed (RE), p. 339.

ICFP-1998-Ennals98a #type system

Verbose Typing (RE), p. 340.

ICFP-1998-Putnik #education #on the #self

On Application of Self-Similar Pictures in Education (ZP), p. 341.

ICFP-1998-Russell #analysis #design #functional #named

MAP: A Functional Analysis and Design Method (DR), p. 342.

ICFP-1998-Kiselyov98b

A Delegation Language to Request Weather Products and a Scheme of Its Interpretation (OK), p. 343.

ICFP-1998-AnP #approach

A Structured Approach to Retrieving Functions by Types (NA, YP), p. 344.

ICFP-1998-Ling #functional #named

Frob — Functional Robotics (GSL), p. 345.

ICFP-1998-MarcosLR #approach #authoring #functional #hypermedia #programming

A Functional Programming Approach to Hypermedia Authoring (DHM, PEML, WAR), p. 346.

ICFP-1998-Faggian #approach #calculus

A Term Calculus for Unitary Approach to Nomalization (CF), p. 347.

ICFP-1998-Erlich #design pattern #implementation

Implementing Design Patterns as Language Constructs (YDE), p. 348.

ICFP-1998-Kiselyov98c #lazy evaluation

A Lazy CGI Namespace in Scheme (OK), p. 349.

ICFP-1998-ZhangL #automation #incremental #source code

Automating Derivation of Incremental Programs (YZ, YAL), p. 350.

ICFP-1998-Haiming #context-free grammar #recursion

Combining CFG and Recursive Functions to Get a New Language (HC), p. 351.