Functional Programming: An Angry Half-Dozen.

@inproceedings{DBLP:conf/dbpl/Wadler97,
  author    = {Philip Wadler},
  editor    = {Sophie Cluet and
               Richard Hull},
  title     = {Functional Programming: An Angry Half-Dozen},
  booktitle = {Database Programming Languages, 6th International Workshop, DBPL-6,
               Estes Park, Colorado, USA, August 18-20, 1997, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1369},
  year      = {1997},
  isbn      = {3-540-64823-2},
  pages     = {25-34},
  ee        = {db/conf/dbpl/Wadler97.html},
  crossref  = {DBLP:conf/dbpl/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-5 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

Joe L. Armstrong: The Development of Erlang. ICFP 1997: 196-203 BibTeX

[2]

Lennart Augustsson: Partial Evaluation in Aircraft Crew Planning. PEPM 1997: 127-136 BibTeX

[3]

Edoardo Biagioni, Robert Harper, Peter Lee, Brian Milnes: Signatures for a Network Protocol Stack: A Systems Application of Standard ML. LISP and Functional Programming 1994: 55-64 BibTeX

[4]

Peter Buneman, Susan B. Davidson, Kyle Hart, G. Christian Overton, Limsoon Wong: A Data Transformation System for Biological Data Sources. VLDB 1995: 158-169 BibTeX

[5]

Peter Buneman, Leonid Libkin, Dan Suciu, Val Tannen, Limsoon Wong: Comprehension Syntax. SIGMOD Record 23(1): 87-96(1994) BibTeX

[6]

Albert John Camilleri: A Hybrid Approach to Verifying Liveness in a Symmetric Multi-Processor. TPHOLs 1997: 49-67 BibTeX

[7]

...

[8]

...

[9]

Conal Elliott, Paul Hudak: Functional Reactive Animation. ICFP 1997: 263-273 BibTeX

[10]

...

[11]

...

[12]

Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth: Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655(1996) BibTeX

[13]

...

[14]

...

[15]

Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schauß, Cordelia V. Hall: Natural Expert: A Commercial Functional Programming Environment. J. Funct. Program. 7(2): 163-182(1997) BibTeX

[16]

Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant: DOVE: A Tool for Design Oriented Verification and Evaluation. AMAST 1997: 574-575 BibTeX

[17]

...