@BOOK{AptOlderog91,
AUTHOR = {K. R. Apt and E.-R. Olderog},
TITLE = {Verification of sequential and concurrent programs},
PUBLISHER = {Springer-Verlag},
YEAR = 1991
}
@BOOK{Abrial96,
AUTHOR = {J. R. Abrial},
TITLE = {The {B}-{B}ook. {A}ssigning programs to meaning},
PUBLISHER = {Cambridge University Press},
YEAR = 1996
}
@ARTICLE{Back81,
AUTHOR = {R. J. R. Back},
TITLE = {{On correct refinement of programs}},
JOURNAL = {{Journal of Computer and Systems Sciences}},
YEAR = 1981,
VOLUME = 23,
NUMBER = 1,
PAGES = {{49--68}},
MONTH = {August}
}
@PHDTHESIS{Barras99,
AUTHOR = {B. Barras},
TITLE = {Auto-validation d'un syst{\`e}me de preuves avec familles
inductives},
TYPE = {Th{\`e}se de Doctorat},
SCHOOL = {Universit{\'e} Paris~7},
YEAR = 1999,
MONTH = NOV
}
@BOOK{Bentley82,
AUTHOR = {J. L. Bentley},
TITLE = {{Writing Efficient Programs}},
PUBLISHER = {Prentice Hall},
YEAR = 1982
}
@BOOK{Bentley89,
AUTHOR = {J. L. Bentley},
TITLE = {{Programming Pearls}},
PUBLISHER = {{Addison-Wesley}},
YEAR = 1989
}
@TECHREPORT{Berardi93,
AUTHOR = {S. Berardi},
TITLE = {{Pruning Simply Typed $\lambda$--terms}},
INSTITUTION = {Turin University},
YEAR = {1993},
FTP = {ftp://lambda.di.unito.it/pub/stefano/PruningFullPaper.rtf.gz}
}
@BOOK{BoyerMoore81,
TITLE = {{The Correctness Problem in Computer Science}},
PUBLISHER = {Academic Press},
YEAR = 1981,
EDITOR = {R. S. Boyer and J. S. Moore}
}
@INPROCEEDINGS{Chartier98,
AUTHOR = {P. Chartier},
TITLE = {{Formalization of B in Isabelle/HOL}},
BOOKTITLE = {{Proceedings of the Second B International Conference}},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 1393,
YEAR = 1998,
ADDRESS = {{Montpellier, France}},
MONTH = {April}
}
@PROCEEDINGS{SecondeConferenceB,
TITLE = {{Proceedings of the Second B International Conference}},
YEAR = 1998,
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 1393,
ADDRESS = {{Montpellier, France}},
MONTH = {April}
}
@INBOOK{Cousot90,
AUTHOR = {P. Cousot},
EDITOR = {J. van Leeuwen},
TITLE = {{Handbook of Theoretical Computer Science}},
CHAPTER = {{Methods and Logics for Proving Programs}},
PUBLISHER = {Elsevier Science Publishers B. V.},
YEAR = 1990,
PAGES = {{841--993}},
VOLUME = {B}
}
@INCOLLECTION{deBruijn80,
AUTHOR = {N.J. de Bruijn},
BOOKTITLE = {{To H.B. Curry: Essays on Combinatory Logic,
Lambda Calculus and Formalism}},
EDITOR = {J. P. Seldin and J. R. Hindley},
PUBLISHER = {Academic Press},
TITLE = {A survey of the project {Automath}},
YEAR = 1980
}
@BOOK{Dijkstra76,
AUTHOR = {E. W. Dijkstra},
TITLE = {{A Discipline of Programming}},
PUBLISHER = {{Prentice Hall}},
YEAR = 1976
}
@ARTICLE{Floyd62,
AUTHOR = {R. W. Floyd},
TITLE = {{Algorithm 113: Treesort}},
JOURNAL = {{Communications of the ACM}},
YEAR = 1962,
VOLUME = 5,
NUMBER = 8,
MONTH = {August}
}
@INPROCEEDINGS{Floyd67,
AUTHOR = {R. W. Floyd},
TITLE = {Assigning meanings to programs},
BOOKTITLE = {{Mathematical Aspects of Computer Science,
Proceedings of Symposia in Applied Mathematics 19}},
EDITOR = {J. T. Schwartz},
YEAR = 1967,
ORGANIZATION = {American Mathematical Society},
ADDRESS = {Providence},
PAGES = {{19--32}}
}
@UNPUBLISHED{Gimenez99,
AUTHOR = {E. Gim\'enez},
TITLE = {{Two Approaches to the Verification of Concurrent Programs
in Coq}},
YEAR = 1999,
NOTE = {Personal communication},
URL = {http://pauillac.inria.fr/~gimenez/papers.html}
}
@BOOK{GirardLafontTaylor89,
AUTHOR = {J.-Y. Girard and Y. Lafont and P. Taylor},
TITLE = {{Proofs and Types}},
PUBLISHER = {Cambridge University Press},
YEAR = 1989
}
@ARTICLE{Goad80,
AUTHOR = {C. Goad},
TITLE = {{Proofs as Description of Computation}},
JOURNAL = {Proceedings of the 5$^{th}$ Conference on Automated
Deduction},
YEAR = {1980},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 87
}
@INBOOK{Gordon96,
AUTHOR = {Mike Gordon},
TITLE = {{Teaching and Learning Formal Methods}},
CHAPTER = {{Teaching hardware and software verification
in a uniform framework}},
PUBLISHER = {Academic Press},
YEAR = 1996,
EDITOR = {C. Neville Dean and Michael G. Hinchey},
URL = {http://www.cl.cam.ac.uk/users/mjcg/papers/SpecVerPaper.ps.gz}
}
@BOOK{Gries81,
AUTHOR = {D. Gries},
TITLE = {{The Science of Programming}},
PUBLISHER = {Springer-Verlag},
YEAR = 1981
}
@PHDTHESIS{Grundy93,
AUTHOR = {Jim Grundy},
TITLE = {A Method of Program Refinement},
SCHOOL = {University of Cambridge, Computer Laboratory},
ADDRESS = {New Museums Site, Pembroke Street,
Cambridge CB2 3QG, England},
NOTE = {Technical Report 318},
MONTH = NOV,
YEAR = 1993,
URL = {http://www.cl.cam.ac.uk/ftp/papers/reports/TR318-jg-program-refinement.ps.gz}
}
@INPROCEEDINGS{GuzmanSuarez94,
AUTHOR = {J. Guzm\'an and A. Su\'arez},
TITLE = {{An Extended Type System for Exceptions}},
BOOKTITLE = {{Record of the fifth ACM SIGPLAN workshop on
ML and its Applications}},
YEAR = 1994,
MONTH = {June},
NOTE = {Also appears as Research Report 2265, INRIA,
BP 105 - 78153 Le Chesnay Cedex, France},
URL = {http://www.ldc.usb.ve/~suarez/PAPERS/except.ps}
}
@TECHREPORT{Haskell,
EDITORS = {J. Peterson and K. Hammond},
TITLE = {Haskell 1.4, a non-strict, purely functional language},
INSTITUTION = {Yale University},
YEAR = 1997,
MONTH = {April}
}
@BOOK{Hayes85,
AUTHOR = {I. Hayes},
TITLE = {Specification {C}ase {S}tudies},
PUBLISHER = {Oxford University Computing Laboratory},
YEAR = 1985,
NOTE = {Technical monograph PRG-46}
}
@ARTICLE{Hoare61,
AUTHOR = {C. A. R. Hoare},
TITLE = {{Algorithm 65: Find}},
JOURNAL = {{Communications of the ACM}},
YEAR = 1961,
VOLUME = 4,
NUMBER = 7,
PAGES = {321--322},
MONTH = {July}
}
@ARTICLE{Hoare62,
AUTHOR = {C. A. R. Hoare},
TITLE = {{Quicksort}},
JOURNAL = {Computer Journal},
MONTH = {April},
YEAR = 1962,
VOLUME = 5,
NUMBER = 1,
PAGES = {10--15}
}
@ARTICLE{Hoare69,
AUTHOR = {C. A. R. Hoare},
TITLE = {An axiomatic basis for computer programming},
JOURNAL = {{Communications of the ACM}},
YEAR = 1969,
VOLUME = 12,
NUMBER = 10,
PAGES = {576--580,583},
NOTE = {Also in \cite{HoareJones89} pages 45--58}
}
@ARTICLE{Hoare71,
AUTHOR = {C. A. R. Hoare},
TITLE = {Proof of a program: {\em Find}},
JOURNAL = {{Communications of the ACM}},
YEAR = 1971,
VOLUME = 14,
NUMBER = 1,
MONTH = {January},
PAGES = {39--45},
NOTE = {Also in \cite{HoareJones89} pages 59--74}
}
@BOOK{HoareJones89,
AUTHOR = {C. A. R. Hoare and C. B. Jones},
TITLE = {{Essays in Computing Science}},
PUBLISHER = {Prentice Hall},
YEAR = 1989
}
@INPROCEEDINGS{honsell-mason-smith-talcott-92csl,
AUTHOR = {F. Honsell and I. A. Mason and S. F. Smith and C. L. Talcott},
YEAR = {1992},
TITLE = {{A Theory of Classes for a Functional Language with Effects}},
BOOKTITLE = {{1992 Annual Conference of the European Association for
Computer Science Logic CSL92, San Miniato}},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer-Verlag},
VOLUME = {702},
PAGES = {309--326}
}
@BOOK{JacobsBergetc98,
AUTHOR = {B. Jacobs and J. van den Berg and M. Huisman and
M. van Berkum and U. Hensel and H. Tews},
TITLE = {{Reasoning about Java Classes (Preliminary Report).}},
PUBLISHER = {ACM},
YEAR = 1998,
PAGES = {329--340},
PS = {http://www.cs.kun.nl/~bart/PAPERS/OOPSLA98.ps.Z}
}
@BOOK{JavaSpec,
AUTHOR = {J. Gosling and B. Joy and G. Steele},
TITLE = {{The Java Language Specification}},
PUBLISHER = {Sun Microsystems},
YEAR = 1996,
SERIES = {Java Series}
}
@BOOK{Jones80,
AUTHOR = {C. B. Jones},
TITLE = {{Software Development. A rigorous approach}},
PUBLISHER = {Prentice Hall},
YEAR = 1980
}
@BOOK{Jones89,
AUTHOR = {C. B. Jones},
TITLE = {Systematic {S}oftware {D}evelopment {U}sing {VDM}},
PUBLISHER = {Prentice Hall},
YEAR = 1989
}
@BOOK{Jones92,
AUTHOR = {C. B. Jones},
TITLE = {{VDM : une méthode rigoureuse pour le développement
du logiciel}},
PUBLISHER = {Masson},
YEAR = 1991,
NOTE = {Traduction française de \cite{Jones89}}
}
@TECHREPORT{JonesDuponcheel93,
AUTHOR = {M. P. Jones and L. Duponcheel},
TITLE = {Composing monads},
INSTITUTION = {Yale University},
YEAR = {1993},
MONTH = {December},
NUMBER = {YALEU/DCS/RR-1004},
TYPE = {Research Report},
FTP = {ftp://ftp.cs.nott.ac.uk/nott-fp/reports/yale/RR-1004.ps}
}
@INPROCEEDINGS{JouvelotGifford91,
AUTHOR = {P. Jouvelot and D. K. Gifford},
TITLE = {Algebraic {R}econstruction of {T}ypes and {E}ffects},
BOOKTITLE = {{Proceedings of the 18th ACM Symposium on Principles
of Programming Languages}},
MONTH = {January},
YEAR = 1991,
PAGES = {303--310},
PUBLISHER = {ACM}
}
@BOOK{KernighanPike99,
AUTHOR = {B. W. Kernighan and R. Pike},
TITLE = {{The Practice of Programming}},
PUBLISHER = {Addison-Wesley},
YEAR = 1999
}
@BOOK{KernighanRitchie88,
AUTHOR = {B. W. Kernighan and D. M. Ritchie},
TITLE = {{The C Programming Language}},
PUBLISHER = {{Prentice Hall}},
YEAR = 1978,
EDITION = {Second}
}
@BOOK{Kleene52,
AUTHOR = {S.C. Kleene},
PUBLISHER = {North-Holland},
SERIES = {Bibliotheca Mathematica},
TITLE = {Introduction to Metamathematics},
YEAR = 1952
}
@TECHREPORT{Kleymann98,
AUTHOR = {T. Kleymann},
TITLE = {{Metatheory of Verification Calculi in LEGO: To What
Extent Does Syntax Matter?}},
INSTITUTION = {LFCS},
YEAR = 1998,
NUMBER = {98-393},
MONTH = {September},
URL = {http://www.dcs.ed.ac.uk/lfcsreps/EXPORT/98/ECS-LFCS-98-393/ECS-LFCS-98-393.ps.gz}
}
@BOOK{KnuthV1,
AUTHOR = {D. E. Knuth},
TITLE = {{The Art of Computer Programming.
Volume 1: Fundamental Algorithms}},
PUBLISHER = {{Addison-Wesley}},
YEAR = 1968
}
@BOOK{KnuthV2,
AUTHOR = {D. E. Knuth},
TITLE = {{The Art of Computer Programming.
Volume 2: Seminumerical Algorithms}},
PUBLISHER = {{Addison-Wesley}},
YEAR = 1969
}
@BOOK{KnuthV3,
AUTHOR = {D. E. Knuth},
TITLE = {{The Art of Computer Programming.
Volume 3: Sorting and Searching}},
PUBLISHER = {{Addison-Wesley}},
YEAR = 1973
}
@BOOK{Knuth96,
AUTHOR = {D. E. Knuth},
TITLE = {{Selected Papers on Computer Science}},
PUBLISHER = {CSLI Publications and Cambridge University Press},
YEAR = 1996
}
@ARTICLE{KnuthMorrisPratt77,
AUTHOR = {D. E. Knuth and J. H. Morris and V. R. Pratt},
TITLE = {{Fast pattern matching in strings}},
JOURNAL = {{SIAM Journal on Computing}},
YEAR = 1977,
VOLUME = 6,
PAGES = {323--350}
}
@INPROCEEDINGS{LaunchburyPeytonJones94,
AUTHOR = {J. Launchbury and S. L. Peyton Jones},
TITLE = {{Lazy Functional State Threads}},
BOOKTITLE = {{SIGPLAN Symposium on Programming
Language Design and Implementation (PLDI'94)}},
YEAR = 1994,
MONTH = {June},
PAGES = {{24--35}},
URL = {http://www.dcs.gla.ac.uk/fp/papers/lazy-functional-state-threads.ps.Z}
}
@ARTICLE{LeroyPessaux00,
AUTHOR = {X. Leroy and F. Pessaux},
TITLE = {Type-based analysis of uncaught exceptions},
JOURNAL = {{ACM Transactions on Programming Languages and Systems}},
YEAR = 2000,
NUMBER = 22,
VOLUME = 2
}
@INPROCEEDINGS{LeroyWeis91,
AUTHOR = {X. Leroy and P. Weis},
TITLE = {Polymorphic type inference and assignment},
BOOKTITLE = {{Proceedings of the 1991 ACM Conference on
Principles of Programming Languages}},
PAGES = {{291--302}},
YEAR = 1991,
URL = {http://pauillac.inria.fr/~xleroy/publi/polymorphic-assignment.dvi.gz}
}
@TECHREPORT{Lillibridge95,
AUTHOR = {M. Lillibridge},
TITLE = {Exceptions {A}re {S}trictly {M}ore {P}owerful {T}han
{Call/CC}},
INSTITUTION = {Carnegie {M}ellon {U}niversity},
YEAR = 1995,
MONTH = {July},
NUMBER = 178,
FTP = {ftp://reports.adm.cs.cmu.edu/usr/anon/1995/CMU-CS-95-178.ps}
}
@INPROCEEDINGS{MasonTalcott89,
AUTHOR = {I. A. Mason and C. L. Talcott},
TITLE = {{Axiomatizing Operational Equivalence in the Presence
of Side Effects}},
BOOKTITLE = {{Fourth Annual Symposium on Logic in Computer Science}},
PAGES = {284--293},
YEAR = 1989,
PUBLISHER = {IEEE},
PS = {http://maths.une.edu.au/~iam/Data/Papers/89lics.ps}
}
@ARTICLE{Milner78,
AUTHOR = {R. Milner},
TITLE = {A theory of type polymorphism in programming},
JOURNAL = {Journal of Computing System Science},
YEAR = 1978,
VOLUME = 17,
PAGES = {{348--375}}
}
@TECHREPORT{Moggi89a,
AUTHOR = {E. Moggi},
TITLE = {An abstract view of programming languages},
INSTITUTION = {Edinburgh University, Department of Computer
Science},
YEAR = 1989,
MONTH = {June},
NUMBER = {ECS-LFCS-90-113},
NOTE = {Lecture Notes for course CS 359, Stanford University},
URL = {http://www.disi.unige.it/person/MoggiE/ftp/abs-view.dvi.gz}
}
@INPROCEEDINGS{Moggi89c,
AUTHOR = {E. Moggi},
TITLE = {Computational lambda-calculus and monads},
BOOKTITLE = {{IEEE Symposium on Logic in Computer Science}},
YEAR = {1989},
URL = {http://www.disi.unige.it/person/MoggiE/ftp/lc88.dvi.gz}
}
@ARTICLE{Moggi91,
AUTHOR = {E. Moggi},
TITLE = {{Notions of computations and monads}},
JOURNAL = {{Information and Computation}},
YEAR = 1991,
VOLUME = 93,
NUMBER = 1
}
@BOOK{Monin96,
AUTHOR = {J.-F. Monin},
TITLE = {{Comprendre les méthodes formelles}},
PUBLISHER = {Masson},
YEAR = 1996
}
@INPROCEEDINGS{MoggiPalumbo99,
AUTHOR = {E. Moggi and F. Palumbo},
TITLE = {{Monadic Encapsulation of Effects: a Revised Approach}},
BOOKTITLE = {{Third International Workshop on
Higher Order Operational Techniques in Semantics}},
YEAR = 1999,
PS = {http://www.disi.unige.it/person/MoggiE/ftp/hoots99.ps.gz}
}
@BOOK{Morgan90,
AUTHOR = {C. C. Morgan},
TITLE = {{Programming from Specifications}},
PUBLISHER = {Prentice Hall},
YEAR = 1990
}
@TECHREPORT{MorrisPratt70,
AUTHOR = {J. H. Morris and V. R. Pratt},
TITLE = {{A Linear Pattern Matching Algorithm}},
INSTITUTION = {Computing Center, University of California, Berkeley},
YEAR = 1970,
NUMBER = 40
}
@UNPUBLISHED{Munoz98,
AUTHOR = {C. Mu{\~{n}}oz},
TITLE = {{Supporting the B-method in PVS: An
Approach to the Abstract Machine Notation in Type Theory}},
NOTE = {Submitted to FSE-98},
YEAR = 1998,
URL = {http://www.csl.sri.com/~munoz/Papers/pbs.ps.gz}
}
@ARTICLE{OHearnReynolds97,
AUTHOR = {P. W. O'Hearn and J. C. Reynolds},
TITLE = {From {A}lgol to {P}olymorphic {L}inear {L}ambda-calculus},
JOURNAL = {{Journal of the ACM}},
YEAR = 1997,
MONTH = {April},
NOTE = {To appear},
FTP = {ftp://ftp.dcs.qmw.ac.uk/lfp/ohearn/AlgolToPolyLin.ps}
}
@INCOLLECTION{Paulin91,
AUTHOR = {C. Paulin-Mohring},
TITLE = {R\'ealisabilit\'e et extraction de programmes},
BOOKTITLE = {Logique et informatique : une introduction},
PUBLISHER = {INRIA},
YEAR = 1991,
PAGES = {163--180}
}
@INCOLLECTION{Reif95,
AUTHOR = {W. Reif},
TITLE = {{The KIV-approach to software verification}},
BOOKTITLE = {{KORSO: Methods, Languages, and Tools for the
Construction of Correct Software -- Final Report}},
YEAR = 1995,
EDITOR = {M. Broy and S. J\"ahnichen},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 1009,
FTP = {ftp://ftp.informatik.uni-ulm.de/pub/PM/kiv/papers/kiv-approach.ps}
}
@INCOLLECTION{KIVCaseStudies,
AUTHOR = {T. Fuchß and W. Reif and G. Schellhorn and K. Stenzel},
TITLE = {{Three Selected Case Studies in Verification}},
BOOKTITLE = {{KORSO: Methods, Languages, and Tools for the
Construction of Correct Software -- Final Report}},
YEAR = 1995,
EDITOR = {M. Broy and S. J\"ahnichen},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 1009,
FTP = {ftp://ftp.informatik.uni-ulm.de/pub/PM/kiv/papers/three-selected-case-studies.ps.gz}
}
@INPROCEEDINGS{Schreiber97,
AUTHOR = {T. Schreiber},
TITLE = {{Auxiliary Variables and Recursive Procedures}},
BOOKTITLE = {{TAPSOFT'97: Theory and Practice of Software Development}},
PUBLISHER = {Springer-Verlag},
VOLUME = 1214,
SERIES = {Lecture Notes in Computer Science},
YEAR = 1997,
MONTH = {April},
PAGES = {697--711},
FTP = {ftp://ftp.dcs.ed.ac.uk/pub/tms/tapsoft97-with-page-numbers.ps.gz}
}
@BOOK{Sedgewick78,
AUTHOR = {R. Sedgewick},
TITLE = {Quicksort},
PUBLISHER = {Garland, New York},
YEAR = 1978,
NOTE = {Also appeared as the author's Ph.D. dissertation,
Stanford University, 1975}
}
@BOOK{Sedgewick88,
AUTHOR = {R. Sedgewick},
TITLE = {Algorithms},
PUBLISHER = {{Addison-Wesley}},
YEAR = 1988
}
@INPROCEEDINGS{SemmelrothSabry99,
AUTHOR = {M. Semmelroth and A. Sabry},
TITLE = {{Monadic Encapsulation in ML}},
BOOKTITLE = {{ACM SIGPLAN International Conference on Functional
Programming}},
PUBLISHER = {ACM},
YEAR = 1999,
PS = {http://www.cs.uoregon.edu/~sabry/papers/monadic-encap.ps}
}
@INPROCEEDINGS{Steele94,
AUTHOR = {G. L. Steele Jr.},
TITLE = {Building interpreters by composing monads},
BOOKTITLE = {{Symposium on Principles of Programming Languages}},
YEAR = {1994},
MONTH = {January},
PUBLISHER = {Association for Computing Machinery},
PAGES = {472--492}
}
@ARTICLE{Takayama91,
AUTHOR = {Y. Takayama},
TITLE = {{Extraction of Redundancy-free Programs from
Constructive Natural Deduction Proofs}},
JOURNAL = {Journal of Symbolic Computation},
YEAR = {1991},
VOLUME = {1},
NUMBER = {12},
PAGES = {29-69}
}
@ARTICLE{TalpinJouvelot92,
AUTHOR = {J.-P. Talpin and P. Jouvelot},
TITLE = {{Polymorphic Type, Region and Effect Inference}},
JOURNAL = {Journal of Functional Programming},
YEAR = 1992,
VOLUME = 2,
NUMBER = 3,
PUBLISHER = {Cambridge University Press},
FTP = {ftp://cri.ensmp.fr/pub/Papers/Talpin/jfp92.ps.Z}
}
@ARTICLE{TalpinJouvelot94,
AUTHOR = {J.-P. Talpin and P. Jouvelot},
TITLE = {{The Type and Effect discipline}},
JOURNAL = {Information and Computation},
YEAR = 1994,
VOLUME = 111,
NUMBER = 2,
PAGES = {245-296},
PUBLISHER = {Academic Press},
FTP = {ftp://cri.ensmp.fr/pub/Papers/Talpin/lics92.ps.Z}
}
@PHDTHESIS{Tofte87,
AUTHOR = {M. Tofte},
TITLE = {{Operational Semantics and Polymorphic Type Inference}},
SCHOOL = {University of Edinburgh},
YEAR = 1987
}
@INPROCEEDINGS{Tolmach98,
AUTHOR = {A. Tolmach},
TITLE = {{Optimizing ML Using a Hierarchy of Monadic Types}},
BOOKTITLE = {{Types in Compilation '98 Workshop}},
PAGES = {97--113},
YEAR = 1998,
ADDRESS = {Kyoto, Japan},
MONTH = {March},
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 1473,
PS = {http://www.cs.pdx.edu/~apt/monad_types_paper.ps}
}
@INPROCEEDINGS{Wadler92a,
AUTHOR = {P. Wadler},
TITLE = {Monads for functional programming},
BOOKTITLE = {{Proceedings of the Marktoberdorf Summer School on
Program Design Calculi}},
YEAR = {1992},
MONTH = {August}
}
@ARTICLE{Wadler92b,
AUTHOR = {P. Wadler},
TITLE = {Comprehending monads},
JOURNAL = {Mathematical Structures in Computer Science},
YEAR = {1992},
PAGES = {461--493}
}
@INPROCEEDINGS{Wadler92c,
AUTHOR = {D. J. King and P. Wadler},
TITLE = {Combining monads},
BOOKTITLE = {{Glasgow Workshop on Functional Programming}},
YEAR = {1992},
MONTH = {July},
PUBLISHER = {Springer-Verlag Workshops in Computing Series}
}
@INCOLLECTION{Wadler93,
AUTHOR = {P. Wadler},
TITLE = {Monads for functional programming},
BOOKTITLE = {{Program Design Calculi}},
PUBLISHER = {Springer Verlag},
YEAR = 1993,
EDITOR = {M. Broy},
SERIES = {NATO ASI Series}
}
@INPROCEEDINGS{Wadler98,
AUTHOR = {P. Wadler},
TITLE = {{The marriage of effects and monads}},
BOOKTITLE = {{International Conference on Functional Programming}},
YEAR = 1998,
PUBLISHER = {ACM},
ADDRESS = {Baltimore},
MONTH = {September},
PAGES = {63--74}
}
@ARTICLE{Williams64,
AUTHOR = {J. W. J. Williams},
TITLE = {{Algorithm 232: Heapsort}},
JOURNAL = {{Communications of the ACM}},
YEAR = 1964,
VOLUME = 7,
NUMBER = 6,
MONTH = {June}
}
@BOOK{Winskel93,
AUTHOR = {G. Winskel},
TITLE = {The formal semantics of programming languages},
PUBLISHER = {The MIT Press},
YEAR = 1993
}
@INPROCEEDINGS{Wright92,
AUTHOR = {A. K. Wright},
TITLE = {Typing {R}eferences by {E}ffect {I}nference},
BOOKTITLE = {{European Symposium on Programming}},
YEAR = 1992,
PUBLISHER = {Springer-Verlag},
SERIES = {Lecture Notes in Computer Science},
VOLUME = 582,
PAGES = {473--491},
MONTH = {February}
}
@ARTICLE{WrightFelleisen94,
AUTHOR = {A. K. Wright and M. Felleisen},
TITLE = {A syntactic approach to type soundness},
JOURNAL = {Information and Computation},
VOLUME = 115,
YEAR = 1994,
PAGES = {38--94},
URL = {http://www.cs.rice.edu/CS/PLT/Publications/ic94-wf.ps.gz}
}
This file has been generated by bibtex2html 1.73