%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "2.01",
%%% date = "09 July 2008",
%%% time = "12:49:40 MDT",
%%% filename = "higherordersymbcomput.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "03998 3940 13478 180867",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography; BibTeX; Higher-Order Symbolic
%%% Computation",
%%% license = "public domain",
%%% supported = "no",
%%% docstring = "This is a COMPLETE bibliography of the
%%% journal Higher-Order and Symbolic
%%% Computation (CODEN LSCOEX, ISSN 1388-3690
%%% (print), 1573-0557 (electronic)), published
%%% by Kluwer Academic Publishers until about
%%% 2004, when it was acquired by Springer
%%% Verlag.
%%%
%%% Publication began with volume 11, number 1,
%%% in August 1998, as the continuation of the
%%% older journal Lisp and Symbolic
%%% Computation. The latter is covered in a
%%% separate companion bibliography,
%%% lispsymbcomput.bib.
%%%
%%% The Springer Web site for the later journal
%%% is at
%%%
%%% http://springerlink.com/link.asp?id=102420
%%% http://springerlink.com/openurl.asp?genre=journal&issn=1388-3690
%%% http://springerlink.com/openurl.asp?genre=journal&eissn=1573-0557
%%%
%%% The two journals share an older World-Wide Web
%%% site at
%%%
%%% http://www.wkap.nl/jrnltoc.htm/1388-3690
%%%
%%% with tables of contents for volume 11 to
%%% date, and pointers to abstracts, keywords,
%%% and, for qualified subscribers only, full
%%% text of articles in PDF form. URL values
%%% in the entries below point to these
%%% documents.
%%%
%%% At version 2.01, the year coverage looked
%%% like this:
%%%
%%% 1993 ( 1) 1999 ( 19) 2005 ( 16)
%%% 1994 ( 0) 2000 ( 28) 2006 ( 16)
%%% 1995 ( 0) 2001 ( 14) 2007 ( 21)
%%% 1996 ( 0) 2002 ( 14) 2008 ( 9)
%%% 1997 ( 0) 2003 ( 16)
%%% 1998 ( 15) 2004 ( 14)
%%%
%%% Article: 183
%%%
%%% Total entries: 183
%%%
%%% At version 2.00, BibTeX entries derived from
%%% data at the Springer Web site for all back
%%% issues were merged in, resulting in updates
%%% and corrections to many entries.
%%%
%%% In addition, thanks to Springer Verlag's
%%% sensible choice of predictable DOIs (Digital
%%% Object Identifiers) and article URLs, EVERY
%%% article in the journal is now directly
%%% reachable from its BibTeX entry. Of course,
%%% access to article full text normally requires
%%% a journal subscription that may or may not be
%%% available at your site.
%%%
%%% The publishers' table-of-contents Web pages
%%% regrettably truncate author lists after the
%%% third author, but at least mark the omission
%%% with ``et al.''. For every such abbreviated
%%% list, the article Web pages have been visited
%%% to find the complete and correct author list,
%%% so no author in this journal should be
%%% unfairly ignored by this bibliography.
%%%
%%% The initial draft of this bibliography was
%%% constructed from the journal Web site, and
%%% from the OCLC Contents1st database. There is
%%% no coverage of this journal in the MathSciNet
%%% database. The collection was then augmented
%%% with entries from the author's personal
%%% bibliography files, and a small number from
%%% the very large computer science bibliography
%%% collection at the University of Karlsruhe in
%%% http://liinwww.ira.uka.de/bibliography/ and
%%% ftp://ftp.ira.uka.de/pub/bibliography to
%%% which many people of have contributed.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-HIGHER-ORDER-SYMB-COMPUT = "Higher-Order and Symbolic Computation"}
@String{j-LISP-SYMB-COMPUT = "Lisp and Symbolic Computation"}
%%% ====================================================================
%%% Bibliography entries in publication order:
@Article{Harper:1993:PTA,
author = "Robert W. Harper and Mark Lillibridge",
title = "Polymorphic Type Assignment and {CPS} Conversion",
journal = j-LISP-SYMB-COMPUT,
volume = "6",
number = "3/4",
pages = "361--380",
month = nov,
year = "1993",
CODEN = "LSCOEX",
ISSN = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
OCLC Contents1st database.",
note = "See corrigendum \cite{Harper:2003:CPT}.",
acknowledgement = ack-nhfb,
affiliation = "Carnegie Mellon Univ",
affiliationaddress = "Pittsburgh, USA",
comment = "supersedes HARPER92A",
entered = "4 January 1994",
journalabr = "LISP Symb Comput",
}
@Article{Kessler:1998:E,
author = "Bob Kessler and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "1",
pages = "5--5",
month = aug,
year = "1998",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Feb 11 15:12:29 MST 1999",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+1+1998",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=1&spage=5;
http://www.wkap.nl/oasis.htm/182522",
acknowledgement = ack-nhfb,
}
@Article{Abelson:1998:RRA,
author = "H. Abelson and R. K. Dybvig and C. T. Haynes and G. J.
Rozas and N. I. Adams IV and D. P. Friedman and E.
Kohlbecker and G. L. {Steele Jr.} and D. H. Bartley and
R. Halstead and D. Oxley and G. J. Sussman and G.
Brooks and C. Hanson and K. M. Pitman and M. Wand",
title = "Revised $^5$ Report on the Algorithmic Language
{Scheme}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "1",
pages = "7--105",
month = aug,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010051815785",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:27 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+1+1998",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=1&spage=7;
http://www.wkap.nl/oasis.htm/168705",
acknowledgement = ack-nhfb,
}
@Article{Danvy:1998:I,
author = "Olivier Danvy and Carolyn L. Talcott",
title = "Introduction",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "2",
pages = "115--116",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010028231554",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=115;
http://www.wkap.nl/oasis.htm/187565",
acknowledgement = ack-nhfb,
}
@Article{Thielecke:1998:ILG,
author = "Hayo Thielecke",
title = "An Introduction to {Landin}'s {``A Generalization of
Jumps and Labels''}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "2",
pages = "117--123",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010060315625",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=117;
http://www.wkap.nl/oasis.htm/187566",
acknowledgement = ack-nhfb,
}
@Article{Landin:1998:GJL,
author = "Peter J. Landin",
title = "A Generalization of Jumps and Labels",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "2",
pages = "125--143",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010068630801",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=125;
http://www.wkap.nl/oasis.htm/188501",
acknowledgement = ack-nhfb,
}
@Article{Kucan:1998:RAC,
author = "Jakov Kucan",
title = "Retraction Approach to {CPS} Transform",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "2",
pages = "145--175",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010012532463",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=145;
http://www.wkap.nl/oasis.htm/187567",
acknowledgement = ack-nhfb,
}
@Article{Boudol:1998:CDS,
author = "G{\'e}rard Boudol",
title = "The $p$-Calculus in Direct Style",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "2",
pages = "177--208",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010064516533",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=177;
http://www.wkap.nl/oasis.htm/187568",
acknowledgement = ack-nhfb,
}
@Article{Biagioni:1998:SST,
author = "Edoardo Biagioni and Ken Cline and Peter Lee and Chris
Okasaki and Chris Stone",
title = "Safe-for-Space Threads in {Standard ML}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "2",
pages = "209--225",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010016600604",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+2+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=2&spage=209;
http://www.wkap.nl/oasis.htm/187569",
acknowledgement = ack-nhfb,
}
@Article{Moreau:1998:STD,
author = "Luc Moreau",
title = "A Syntactic Theory of Dynamic Binding",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "3",
pages = "233--279",
month = sep,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010087314987",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=3;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+3+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=3&spage=233;
http://www.wkap.nl/oasis.htm/188358",
acknowledgement = ack-nhfb,
}
@Article{Talcott:1998:CSM,
author = "Carolyn L. Talcott",
title = "Composable Semantic Models for Actor Theories",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "3",
pages = "281--343",
month = sep,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010042915896",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=3;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+3+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=3&spage=281;
http://www.wkap.nl/oasis.htm/188360",
acknowledgement = ack-nhfb,
}
@Article{Danvy:1998:E,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "4",
pages = "353--354",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010047103315",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=353;
http://www.wkap.nl/oasis.htm/193814",
acknowledgement = ack-nhfb,
}
@Article{Reynolds:1998:DIR,
author = "John C. Reynolds",
title = "Definitional Interpreters Revisited",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "4",
pages = "355--361",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010075320153",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=355;
http://www.wkap.nl/oasis.htm/193815",
acknowledgement = ack-nhfb,
}
@Article{Reynolds:1998:DIH,
author = "John C. Reynolds",
title = "Definitional Interpreters for Higher-Order Programming
Languages",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "4",
pages = "363--397",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010027404223",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=363;
http://www.wkap.nl/oasis.htm/193816",
acknowledgement = ack-nhfb,
}
@Article{Sussman:1998:FRS,
author = "Gerald Jay Sussman and Guy L. {Steele Jr.}",
title = "The First Report on {Scheme} Revisited",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "4",
pages = "399--404",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010079421970",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=399;
http://www.wkap.nl/oasis.htm/193819",
acknowledgement = ack-nhfb,
}
@Article{Sussman:1998:SIE,
author = "Gerald Jay Sussman and Guy L. {Steele Jr.}",
title = "{Scheme}: {An} Interpreter for Extended Lambda
Calculus",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "11",
number = "4",
pages = "405--439",
month = dec,
year = "1998",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010035624696",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:28 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+11+4+1998;
OCLC Contents1st database",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=11&issue=4&spage=405;
http://www.wkap.nl/oasis.htm/193825",
acknowledgement = ack-nhfb,
}
@Article{Danvy:1999:Ea,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "1",
pages = "5--5",
month = apr,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010023032358",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=5;
http://www.wkap.nl/oasis.htm/202966",
acknowledgement = ack-nhfb,
}
@Article{Clinger:1999:ISF,
author = "William D. Clinger and Anne H. Hartheimer and Eric M.
Ost",
title = "Implementation Strategies for First-Class
Continuations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "1",
pages = "7--45",
month = apr,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010016816429",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=7;
http://www.wkap.nl/oasis.htm/202967",
acknowledgement = ack-nhfb,
}
@Article{Thielecke:1999:UCT,
author = "Hayo Thielecke",
title = "Using a Continuation Twice and Its Implications for
the Expressive Power of {\tt call\slash cc}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "1",
pages = "47--73",
month = apr,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010068800499",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=47;
http://www.wkap.nl/oasis.htm/202968",
acknowledgement = ack-nhfb,
}
@Article{Lillibridge:1999:UEC,
author = "Mark Lillibridge",
title = "Unchecked Exceptions Can Be Strictly More Powerful
Than {\tt Call\slash CC}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "1",
pages = "75--104",
month = apr,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010020917337",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=75;
http://www.wkap.nl/oasis.htm/202969",
acknowledgement = ack-nhfb,
}
@Article{Sandewall:1999:EUC,
author = "Erik Sandewall",
title = "An Early Use of Continuations and Partial Evaluation
for Compiling Rules Written in First-Order Predicate
Calculus",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "1",
pages = "105--113",
month = apr,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010072901408",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+1+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=1&spage=105;
http://www.wkap.nl/oasis.htm/202970",
acknowledgement = ack-nhfb,
}
@Article{Danvy:1999:I,
author = "Olivier Danvy and Carolyn Talcott",
title = "Introduction",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "2",
pages = "123--124",
month = sep,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010089522078",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=123;
http://www.wkap.nl/oasis.htm/234968",
acknowledgement = ack-nhfb,
}
@Article{Barthe:1999:CTA,
author = "Gilles Barthe and John Hatcliff and Morten Heine B.
S{\o}rensen",
title = "{CPS} Translations and Applications: The Cube and
Beyond",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "2",
pages = "125--170",
month = sep,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010000206149",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=125;
http://www.wkap.nl/oasis.htm/234969",
acknowledgement = ack-nhfb,
}
@Article{Mason:1999:CC,
author = "Ian A. Mason",
title = "Computing with Contexts",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "2",
pages = "171--201",
month = sep,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010052222987",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=171;
http://www.wkap.nl/oasis.htm/234970",
acknowledgement = ack-nhfb,
}
@Article{Lee:1999:PEE,
author = "C. S. Lee",
title = "Partial Evaluation of the {Euclidean} Algorithm,
Revisited",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "2",
pages = "203--212",
month = sep,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010004307057",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=2;
http://www.wkap.nl/issuetoc.htm/1388-3690+12+2+1999",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=2&spage=203;
http://www.wkap.nl/oasis.htm/234971",
acknowledgement = ack-nhfb,
}
@Article{Danvy:1999:Eb,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "3",
pages = "219--219",
month = oct,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010025114115",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3;
http://www.wkap.nl/issuetoc.htm/v12-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=219;
http://www.wkap.nl/oasis.htm/237511",
acknowledgement = ack-nhfb,
}
@Article{Steele:1999:GL,
author = "Guy L. {Steele Jr.}",
title = "Growing a Language",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "3",
pages = "221--236",
month = oct,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010085415024",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3;
http://www.wkap.nl/issuetoc.htm/v12-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=221;
http://www.wkap.nl/oasis.htm/237513",
acknowledgement = ack-nhfb,
}
@Article{Aiken:1999:ORP,
author = "Alexander Aiken and Edward L. Wimmers and Jens
Palsberg",
title = "Optimal Representations of Polymorphic Types with
Subtyping",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "3",
pages = "237--282",
month = oct,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010056315933",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3;
http://www.wkap.nl/issuetoc.htm/v12-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=237;
http://www.wkap.nl/oasis.htm/237515",
acknowledgement = ack-nhfb,
}
@Article{Wand:1999:CBMa,
author = "Mitchell Wand",
title = "Continuation-Based Multiprocessing Revisited",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "3",
pages = "283--283",
month = oct,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010049917750",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3;
http://www.wkap.nl/issuetoc.htm/v12-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=283;
http://www.wkap.nl/oasis.htm/237519",
acknowledgement = ack-nhfb,
}
@Article{Wand:1999:CBMb,
author = "Mitchell Wand",
title = "Continuation-Based Multiprocessing",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "3",
pages = "285--299",
month = oct,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010093700911",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:29 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=3;
http://www.wkap.nl/issuetoc.htm/v12-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=3&spage=285;
http://www.wkap.nl/oasis.htm/237518",
acknowledgement = ack-nhfb,
}
@Article{Danvy:1999:Ec,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "4",
pages = "307--308",
month = dec,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010002000861",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4;
http://www.wkap.nl/issuetoc.htm/v12-n4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=307;
http://www.wkap.nl/oasis.htm/247760",
acknowledgement = ack-nhfb,
}
@Article{Chirokoff:1999:CPD,
author = "Sandrine Chirokoff and Charles Consel and Renaud
Marlet",
title = "Combining Program and Data Specialization",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "4",
pages = "309--335",
month = dec,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010035401770",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4;
http://www.wkap.nl/issuetoc.htm/v12-n4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=309;
http://www.wkap.nl/oasis.htm/247762",
acknowledgement = ack-nhfb,
}
@Article{Hornof:1999:CCR,
author = "Luke Hornof and Trevor Jim",
title = "Certifying Compilation and Run-Time Code Generation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "4",
pages = "337--375",
month = dec,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010039502678",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4;
http://www.wkap.nl/issuetoc.htm/v12-n4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=337;
http://www.wkap.nl/oasis.htm/247764",
acknowledgement = ack-nhfb,
}
@Article{Futamura:1999:PECa,
author = "Yoshihiko Futamura",
title = "Partial Evaluation of Computation Process, Revisited",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "4",
pages = "377--380",
month = dec,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010043619517",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4;
http://www.wkap.nl/issuetoc.htm/v12-n4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=377;
http://www.wkap.nl/oasis.htm/247765",
acknowledgement = ack-nhfb,
}
@Article{Futamura:1999:PECb,
author = "Yoshihiko Futamura",
title = "Partial Evaluation of Computation Process --- An
Approach to a Compiler-Compiler",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "12",
number = "4",
pages = "381--391",
month = dec,
year = "1999",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010095604496",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=12&issue=4;
http://www.wkap.nl/issuetoc.htm/v12-n4",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=12&issue=4&spage=381;
http://www.wkap.nl/oasis.htm/247768",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2000:Ea,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "5--6",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010022412197",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=5;
http://www.wkap.nl/oasis.htm/257991",
acknowledgement = ack-nhfb,
}
@Article{Mosses:2000:FFC,
author = "Peter D. Mosses",
title = "A Foreword to {``Fundamental Concepts in Programming
Languages''}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "7--9",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010048229036",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=7;
http://www.wkap.nl/oasis.htm/257992",
acknowledgement = ack-nhfb,
}
@Article{Strachey:2000:FCP,
author = "Christopher Strachey",
title = "Fundamental Concepts in Programming Languages",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "11--49",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010000313106",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=11;
http://www.wkap.nl/oasis.htm/257993",
acknowledgement = ack-nhfb,
}
@Article{Burstall:2000:CSU,
author = "Rod Burstall",
title = "{Christopher Strachey} --- Understanding Programming
Languages",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "51--55",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010052305354",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=51;
http://www.wkap.nl/oasis.htm/258012",
acknowledgement = ack-nhfb,
}
@Article{Dybvig:2000:MSA,
author = "R. Kent Dybvig",
title = "From Macrogeneration to Syntactic Abstraction",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "57--63",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010041423101",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=57;
http://www.wkap.nl/oasis.htm/258015",
acknowledgement = ack-nhfb,
}
@Article{Gordon:2000:CSR,
author = "Mike Gordon",
title = "{Christopher Strachey}: Recollections of His
Influence",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "65--67",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010097524009",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=65;
http://www.wkap.nl/oasis.htm/258017",
acknowledgement = ack-nhfb,
}
@Article{Hartley:2000:CC,
author = "David Hartley",
title = "{Cambridge} and {CPL} in the 1960s",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "69--70",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010001708080",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=69;
http://www.wkap.nl/oasis.htm/258018",
acknowledgement = ack-nhfb,
}
@Article{Hoare:2000:HAF,
author = "C. A. R. Hoare",
title = "A Hard Act to Follow",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "71--72",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010053724918",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=71;
http://www.wkap.nl/oasis.htm/258019",
acknowledgement = ack-nhfb,
}
@Article{Jackson:2000:CSP,
author = "Michael Jackson",
title = "{Christopher Strachey}: {A} Personal Recollection",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "73--74",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010005808988",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=73;
http://www.wkap.nl/oasis.htm/258020",
acknowledgement = ack-nhfb,
}
@Article{Landin:2000:MYS,
author = "Peter J. Landin",
title = "My Years with {Strachey}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "75--76",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010057925827",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=75;
http://www.wkap.nl/oasis.htm/258021",
acknowledgement = ack-nhfb,
}
@Article{Milne:2000:LCI,
author = "Robert Milne",
title = "From Language Concepts to Implementation Concepts",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "77--81",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010010009897",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=77;
http://www.wkap.nl/oasis.htm/258022",
acknowledgement = ack-nhfb,
}
@Article{Penrose:2000:RCS,
author = "Roger Penrose",
title = "Reminiscences of {Christopher Strachey}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "83--84",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010062026735",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=83;
http://www.wkap.nl/oasis.htm/258023",
acknowledgement = ack-nhfb,
}
@Article{Richards:2000:CSC,
author = "Martin Richards",
title = "{Christopher Strachey} and the {Cambridge CPL}
Compiler",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "85--88",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010014110806",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=85;
http://www.wkap.nl/oasis.htm/258024",
acknowledgement = ack-nhfb,
}
@Article{Schmidt:2000:IDC,
author = "David A. Schmidt",
title = "Induction, Domains, Calculi: {Strachey}'s
Contributions to Programming-Language Engineering",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "89--101",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010066127644",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=89;
http://www.wkap.nl/oasis.htm/258025",
acknowledgement = ack-nhfb,
}
@Article{Scott:2000:SRS,
author = "Dana Scott",
title = "Some Reflections on {Strachey} and His Work",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "103--114",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010018211714",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=103;
http://www.wkap.nl/oasis.htm/258026",
acknowledgement = ack-nhfb,
}
@Article{Stoy:2000:CSF,
author = "Joe Stoy",
title = "{Christopher Strachey} and Fundamental Concepts",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "115--117",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010070228552",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=115;
http://www.wkap.nl/oasis.htm/258027",
acknowledgement = ack-nhfb,
}
@Article{Tennent:2000:AMS,
author = "Robert D. Tennent and Dan R. Ghica",
title = "Abstract Models of Storage",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "119--129",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010022312623",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=119;
http://www.wkap.nl/oasis.htm/258028",
acknowledgement = ack-nhfb,
}
@Article{Wadsworth:2000:CR,
author = "Christopher P. Wadsworth",
title = "Continuations Revisited",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "131--133",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010074329461",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=131;
http://www.wkap.nl/oasis.htm/258029",
acknowledgement = ack-nhfb,
}
@Article{Strachey:2000:CMS,
author = "Christopher Strachey and Christopher P. Wadsworth",
title = "Continuations: {A} Mathematical Semantics for Handling
Full Jumps",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "1--2",
pages = "135--152",
month = apr,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010026413531",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:30 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=1;
http://www.wkap.nl/issuetoc.htm/v13-n1-2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=1&spage=135;
http://www.wkap.nl/oasis.htm/258030",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2000:Eb,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "3",
pages = "159--160",
month = sep,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010014500357",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3;
http://www.wkap.nl/issuetoc.htm/v13-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=159;
http://www.wkap.nl/oasis.htm/272138",
acknowledgement = ack-nhfb,
}
@Article{Thibault:2000:SDP,
author = "Scott Thibault and Charles Consel and Julia L. Lawall
and Renaud Marlet and Gilles Muller",
title = "Static and Dynamic Program Compilation by Interpreter
Specialization",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "3",
pages = "161--178",
month = sep,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010078412711",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3;
http://www.wkap.nl/issuetoc.htm/v13-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=161;
http://www.wkap.nl/oasis.htm/272057",
acknowledgement = ack-nhfb,
}
@Article{Hannan:2000:HOU,
author = "John Hannan and Patrick Hicks",
title = "Higher-Order {UnCurrying}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "3",
pages = "179--216",
month = sep,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010006229549",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3;
http://www.wkap.nl/issuetoc.htm/v13-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=179;
http://www.wkap.nl/oasis.htm/272058",
acknowledgement = ack-nhfb,
}
@Article{Mogensen:2000:LTS,
author = "Torben {\AE}. Mogensen",
title = "Linear-Time Self-Interpretation of the Pure Lambda
Calculus",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "3",
pages = "217--237",
month = sep,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010058213619",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3;
http://www.wkap.nl/issuetoc.htm/v13-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=217;
http://www.wkap.nl/oasis.htm/272059",
acknowledgement = ack-nhfb,
}
@Article{Nishizaki:2000:PEC,
author = "Shin-Ya Nishizaki",
title = "A Polymorphic Environment Calculus and its
Type-Inference Algorithm",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "3",
pages = "239--278",
month = sep,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1010010314528",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=3;
http://www.wkap.nl/issuetoc.htm/v13-n3",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=3&spage=239;
http://www.wkap.nl/oasis.htm/272061",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2000:Ec,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "4",
pages = "287--288",
month = dec,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026586714900",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=287;
http://www.wkap.nl/oasis.htm/278950",
acknowledgement = ack-nhfb,
}
@Article{Liu:2000:EII,
author = "Yanhong A. Liu",
title = "Efficiency by Incrementalization: An Introduction",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "4",
pages = "289--313",
month = dec,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026547031739",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=289;
http://www.wkap.nl/oasis.htm/278951",
acknowledgement = ack-nhfb,
}
@Article{Hatcliff:2000:SSM,
author = "John Hatcliff and Matthew B. Dwyer and Hongjun Zheng",
title = "Slicing Software for Model Construction",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "4",
pages = "315--353",
month = dec,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026599015809",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=315;
http://www.wkap.nl/oasis.htm/278952",
acknowledgement = ack-nhfb,
}
@Article{Mogensen:2000:GPE,
author = "Torben {\AE}. Mogensen",
title = "Glossary for Partial Evaluation and Related Topics",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "13",
number = "4",
pages = "355--368",
month = dec,
year = "2000",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1026551132647",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:31 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=13&issue=4;
http://www.wkap.nl/issuetoc.htm/1388-3690+13+4+2000",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=13&issue=4&spage=355;
http://www.wkap.nl/oasis.htm/278953",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2001:Ea,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "1",
pages = "5--5",
month = mar,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011513031288",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=5;
http://www.wkap.nl/oasis.htm/323056",
acknowledgement = ack-nhfb,
}
@Article{Douence:2001:GRT,
author = "R{\'e}mi Douence and Mario S{\"u}dholt",
title = "A Generic Reification Technique for Object-Oriented
Reflective Languages",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "1",
pages = "7--34",
month = mar,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011549115358",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=7;
http://www.wkap.nl/oasis.htm/323057",
acknowledgement = ack-nhfb,
}
@Article{Karczmarczuk:2001:FDC,
author = "Jerzy Karczmarczuk",
title = "Functional Differentiation of Computer Programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "1",
pages = "35--57",
month = mar,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011501232197",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=35;
http://www.wkap.nl/oasis.htm/323058",
acknowledgement = ack-nhfb,
}
@Article{Sabelfeld:2001:PMS,
author = "Andrei Sabelfeld and David Sands",
title = "A Per Model of Secure Information Flow in Sequential
Programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "1",
pages = "59--91",
month = mar,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1011553200337",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=1;
http://www.wkap.nl/issuetoc.htm/1388-3690+14+1+2001",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=1&spage=59;
http://www.wkap.nl/oasis.htm/323060",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2001:Eb,
author = "Olivier Danvy and Julia L. Lawall",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "2--3",
pages = "99--100",
month = sep,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012905312544",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=99;
http://www.wkap.nl/oasis.htm/323060",
acknowledgement = ack-nhfb,
}
@Article{Sumii:2001:HAO,
author = "Eijiro Sumii and Naoki Kobayashi",
title = "A Hybrid Approach to Online and Offline Partial
Evaluation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "2--3",
pages = "101--142",
month = sep,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012984529382",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=101;
http://www.wkap.nl/oasis.htm/323060",
acknowledgement = ack-nhfb,
}
@Article{Gallagher:2001:RTL,
author = "John P. Gallagher and Julio C. Peralta",
title = "Regular Tree Languages as an Abstract Domain in
Program Specialisation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "2--3",
pages = "143--172",
month = sep,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012936614361",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=143;
http://www.wkap.nl/oasis.htm/323060",
acknowledgement = ack-nhfb,
}
@Article{Grobauer:2001:SFP,
author = "Bernd Grobauer and Zhe Yang",
title = "The Second {Futamura} Projection for Type-Directed
Partial Evaluation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "2--3",
pages = "173--219",
month = sep,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012992731199",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=173;
http://www.wkap.nl/oasis.htm/323060",
acknowledgement = ack-nhfb,
}
@Article{Kobayashi:2001:TBU,
author = "Naoki Kobayashi",
title = "Type-Based Useless-Variable Elimination",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "2--3",
pages = "221--260",
month = sep,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012944815270",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=221;
http://www.wkap.nl/oasis.htm/323060",
acknowledgement = ack-nhfb,
}
@Article{Chin:2001:CST,
author = "Wei-Ngan Chin and Siau-Cheng Khoo",
title = "Calculating Sized Types",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "2--3",
pages = "261--300",
month = sep,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1012996816178",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:32 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=2",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=2&spage=261;
http://www.wkap.nl/oasis.htm/323060",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2001:Ec,
author = "Olivier Danvy and Takayasu Ito and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "4",
pages = "307--307",
month = dec,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014426530629",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/1/abstract.htm;
http://ipsapp007.lwwonline.com/content/getfile/4979/18/1/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=307",
acknowledgement = ack-nhfb,
}
@Article{Biagioni:2001:NPS,
author = "Edoardo Biagioni and Robert Harper and Peter Lee",
title = "A Network Protocol Stack in {Standard ML}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "4",
pages = "309--356",
month = dec,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014403914699",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/2/abstract.htm;
http://ipsapp007.lwwonline.com/content/getfile/4979/18/2/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=309",
acknowledgement = ack-nhfb,
}
@Article{Moreau:2001:TRD,
author = "Luc Moreau",
title = "Tree Rerooting in Distributed Garbage Collection:
Implementation and Performance Evaluation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "4",
pages = "357--386",
month = dec,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014455931537",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/3/abstract.htm;
http://ipsapp007.lwwonline.com/content/getfile/4979/18/3/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=357",
acknowledgement = ack-nhfb,
}
@Article{Xiao:2001:STI,
author = "Yong Xiao and Amr Sabry and Zena M. Ariola",
title = "From Syntactic Theories to Interpreters: Automating
the Proof of Unique Decomposition",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "14",
number = "4",
pages = "387--409",
month = dec,
year = "2001",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1014408032446",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=14&issue=4;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp007.lwwonline.com/content/getfile/4979/18/4/abstract.htm;
http://ipsapp007.lwwonline.com/content/getfile/4979/18/4/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=14&issue=4&spage=387",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2002:Ea,
author = "Olivier Danvy and Takayasu Ito and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "1",
pages = "5--5",
month = mar,
year = "2002",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019966413716",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/1/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/19/1/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=5",
acknowledgement = ack-nhfb,
}
@Article{Tozawa:2002:FAC,
author = "Akihiko Tozawa and Masami Hagiya",
title = "Formalization and Analysis of Class Loading in
{Java}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "1",
pages = "7--55",
month = mar,
year = "2002",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019912130555",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/2/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/19/2/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=7",
acknowledgement = ack-nhfb,
}
@Article{Coquand:2002:FPS,
author = "Catarina Coquand",
title = "A Formalised Proof of the Soundness and Completeness
of a Simply Typed Lambda-Calculus with Explicit
Substitutions",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "1",
pages = "57--90",
month = mar,
year = "2002",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019964114625",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/3/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/19/3/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=57",
acknowledgement = ack-nhfb,
}
@Article{Xi:2002:DTP,
author = "Hongwei Xi",
title = "Dependent Types for Program Termination Verification",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "1",
pages = "91--131",
month = mar,
year = "2002",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1019916231463",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:33 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=1;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/19/4/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/19/4/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=1&spage=91",
acknowledgement = ack-nhfb,
}
@Article{Danvy:2002:Eb,
author = "Olivier Danvy and Amr Sabry",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "2--3",
pages = "139--140",
month = sep,
year = "2002",
CODEN = "LSCOEX",
DOI = "http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1023/A:1020834727430",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Wed Jul 6 15:50:34 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=2;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/1/abstract.htm;