Proceedings of the Third International Conference on Functional Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.