@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/|"}
@String{j-HIGHER-ORDER-SYMB-COMPUT = "Higher-Order and Symbolic Computation"}
@String{j-LISP-SYMB-COMPUT = "Lisp and Symbolic Computation"}
@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 (print), 1573-0557 (electronic)",
ISSN-L = "0892-4635",
bibdate = "Fri Feb 12 08:11:22 MST 1999",
bibsource = "Compendex database;
ftp://ftp.ira.uka.de/pub/bibliography/Compiler/reynolds.bib;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.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",
journal-URL = "http://link.springer.com/journal/10990",
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), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010051815785",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Sat Mar 11 18:53:03 2017",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=11&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010028231554",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010060315625",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010068630801",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010012532463",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010064516533",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010016600604",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010087314987",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010042915896",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010047103315",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010075320153",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010027404223",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010079421970",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010035624696",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010023032358",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010016816429",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010068800499",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010020917337",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010072901408",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010089522078",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010000206149",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010052222987",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010004307057",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010025114115",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010085415024",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010056315933",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010049917750",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010093700911",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010002000861",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010035401770",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010039502678",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010043619517",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010095604496",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010022412197",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010048229036",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010000313106",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010052305354",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010041423101",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010097524009",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010001708080",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010053724918",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010005808988",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010057925827",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010010009897",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010062026735",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010014110806",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010066127644",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010018211714",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010070228552",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010022312623",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010074329461",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010026413531",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010014500357",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010078412711",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010006229549",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010058213619",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1010010314528",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1026586714900",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1026547031739",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1026599015809",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1026551132647",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1011513031288",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1011549115358",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1011501232197",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1011553200337",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1012905312544",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1012984529382",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1012936614361",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1012992731199",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1012944815270",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1012996816178",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1014426530629",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1014403914699",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1014455931537",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1014408032446",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1019966413716",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1019912130555",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1019964114625",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1019916231463",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
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,
journal-URL = "http://link.springer.com/journal/10990",
}
@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 = "https://doi.org/10.1023/A:1020834727430",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/1/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/20/1/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=139",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Thielecke:2002:CCC,
author = "Hayo Thielecke",
title = "Comparing Control Constructs by Double-Barrelled
{CPS}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "2--3",
pages = "141--160",
month = sep,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1020887011500",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/2/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/20/2/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=141",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Reppy:2002:ONL,
author = "John Reppy",
title = "Optimizing Nested Loops Using Local {CPS} Conversion",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "2--3",
pages = "161--180",
month = sep,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1020839128338",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/3/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/20/3/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=161",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Berdine:2002:LCP,
author = "Josh Berdine and Peter O'Hearn and Uday Reddy and Hayo
Thielecke",
title = "Linear Continuation-Passing",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "2--3",
pages = "181--208",
month = sep,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1020891112409",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/4/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/20/4/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=181",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Zdancewic:2002:SIF,
author = "Steve Zdancewic and Andrew C. Myers",
title = "Secure Information Flow via Linear Continuations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "2--3",
pages = "209--234",
month = sep,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1020843229247",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/5/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/20/5/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=209",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Hasegawa:2002:ARC,
author = "Masahito Hasegawa and Yoshihiko Kakutani",
title = "Axioms for Recursion in Call-by-Value",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "2--3",
pages = "235--264",
month = sep,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1020895213317",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
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.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/20/6/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/20/6/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=2&spage=235",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2002:Ec,
author = "Olivier Danvy and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "4",
pages = "271--271",
month = dec,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1022974204050",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:34 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/1/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/21/1/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=271",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Johann:2002:GSC,
author = "Patricia Johann",
title = "A Generalization of Short-Cut Fusion and its
Correctness Proof",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "4",
pages = "273--300",
month = dec,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1022982420888",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:34 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/2/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/21/2/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=273",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Smith:2002:SDA,
author = "Scott F. Smith and Carolyn L. Talcott",
title = "Specification Diagrams for Actor Systems",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "4",
pages = "301--348",
month = dec,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1022934504959",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:34 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/3/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/21/3/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=301",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Henderson:2002:FG,
author = "Peter Henderson",
title = "Functional Geometry",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "15",
number = "4",
pages = "349--365",
month = dec,
year = "2002",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1022986521797",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:34 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=15&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/21/4/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/21/4/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=15&issue=4&spage=349",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2003:Ea,
author = "Olivier Danvy and Fritz Henglein and Harry Mairson and
Alberto Pettorossi",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "1--2",
pages = "5--6",
month = mar # "--" # jun,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1023059701827",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:35 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/1/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/22/1/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=5",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Paige:2003:RR,
author = "Bob Paige",
title = "Research Retrospective",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "1--2",
pages = "7--13",
month = mar # "--" # jun,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1023011918666",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:35 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/2/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/22/2/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=7",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{deMoor:2003:URP,
author = "Oege de Moor and David Lacey and Eric {Van Wyk}",
title = "Universal Regular Path Queries",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "1--2",
pages = "15--35",
month = mar # "--" # jun,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1023063919574",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:35 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/3/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/22/3/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=15",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Liu:2003:DPS,
author = "Yanhong A. Liu and Scott D. Stoller",
title = "Dynamic Programming via Static Incrementalization",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "1--2",
pages = "37--62",
month = mar # "--" # jun,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1023068020483",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:35 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/4/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/22/4/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=37",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Leonard:2003:PSF,
author = "Elizabeth I. Leonard and Constance L. Heitmeyer",
title = "Program Synthesis from Formal Requirements
Specifications Using {APTS}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "1--2",
pages = "63--92",
month = mar # "--" # jun,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1023072104553",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:35 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/5/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/22/5/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=63",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Reps:2003:CDD,
author = "Thomas W. Reps and Louis B. Rall",
title = "Computational Divided Differencing and
Divided-Difference Arithmetics",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "1--2",
pages = "93--149",
month = mar # "--" # jun,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1023024221391",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:35 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/22/6/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/22/6/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=1&spage=93",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Basin:2003:E,
author = "David Basin and Olivier Danvy and Julian Padget and
Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "3",
pages = "159--159",
month = sep,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025695922492",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/1/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/23/1/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=159",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Ford:2003:FFO,
author = "Jonathan Ford and Ian A. Mason",
title = "Formal Foundations of Operational Semantics",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "3",
pages = "161--202",
month = sep,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025689206562",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/2/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/23/2/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=161",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Loidl:2003:CPF,
author = "H.-W. Loidl and F. Rubio and N. Scaife and K. Hammond
and S. Horiguchi and U. Klusik and R. Loogen and G. J.
Michaelson and R. Pe{\~n}a and S. Priebe and {\'A}. J.
Reb{\'o}n and P. W. Trinder",
title = "Comparing Parallel Functional Languages: Programming
and Performance",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "3",
pages = "203--251",
month = sep,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025641323400",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/3/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/23/3/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=203",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Gortz:2003:SNW,
author = "Inge Li G{\o}rtz and Signe Reuss and Morten Heine
S{\o}rensen",
title = "Strong Normalization from Weak Normalization by
Translation into the Lambda-{I}-Calculus",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "3",
pages = "253--285",
month = sep,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025693307470",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/23/4/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/23/4/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=3&spage=253",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2003:Eb,
author = "Olivier Danvy and Peter Thiemann",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "4",
pages = "295--295",
month = dec,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025815202775",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/1/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/24/1/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=295",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Giacobazzi:2003:NSS,
author = "Roberto Giacobazzi and Isabella Mastroeni",
title = "Non-Standard Semantics for Program Slicing",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "4",
pages = "297--339",
month = dec,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025872819613",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/2/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/24/2/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=297",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Lu:2003:PDA,
author = "Lunjin Lu",
title = "Path Dependent Analysis of Logic Programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "4",
pages = "341--377",
month = dec,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025824903683",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/3/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/24/3/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=341",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Nanevski:2003:AGS,
author = "Aleksandar Nanevski and Guy Blelloch and Robert
Harper",
title = "Automatic Generation of Staged Geometric Predicates",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "4",
pages = "379--400",
month = dec,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025876920522",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Tue Jan 27 09:45:40 MST 2004",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/4/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/24/4/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=379",
abstract = "Algorithms in Computational Geometry and Computer
Aided Design are often developed for the Real RAM model
of computation, which assumes exactness of all the
input arguments and operations. In practice, however,
the exactness imposes tremendous limitations on the
algorithms even the basic operations become
uncomputable, or prohibitively slow. In some important
cases, however, the computations of interest are
limited to determining the sign of polynomial
expressions. In such circumstances, a faster approach
is available: one can evaluate the polynomial in
floating-point first, together with some estimate of
the rounding error, and fall back to exact arithmetic
only if this error is too big to determine the sign
reliably. A particularly efficient variation on this
approach has been used by Shewchuk in his robust
implementations of Orient and InSphere geometric
predicates. We extend Shewchuk's method to arbitrary
polynomial expressions. The expressions are given as
programs in a suitable source language featuring basic
arithmetic operations of addition, subtraction,
multiplication and squaring, which are to be perceived
by the programmer as exact. The source language also
allows for anonymous functions; the use of such
functions enables the common functional programming
technique of staging. The method is presented formally
through several judgments that govern the compilation
of the source expression into target code, which is
then easily transformed into SML or, in case of
single-stage expressions, into C.",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Harper:2003:CPT,
author = "Robert Harper and Mark Lillibridge",
title = "Corrigendum: Polymorphic Type Assignment and {CPS}
Conversion",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "16",
number = "4",
pages = "401--401",
month = dec,
year = "2003",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/A:1025829004592",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 6 15:50:36 MDT 2005",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=16&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.wkap.nl/jrnltoc.htm/1388-3690",
note = "See \cite{Harper:1993:PTA}.",
URL = "http://ipsapp008.kluweronline.com/content/getfile/4979/24/5/abstract.htm;
http://ipsapp008.kluweronline.com/content/getfile/4979/24/5/fulltext.pdf;
http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=16&issue=4&spage=401",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Chin:2004:E,
author = "Wei-Ngan Chin and Olivier Danvy and Peter Thiemann",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "1--2",
pages = "5--6",
month = mar,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029481.73168.ef",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=5",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Vidal:2004:CAP,
author = "Germ{\'a}n Vidal",
title = "Cost--Augmented Partial Evaluation of Functional Logic
Programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "1--2",
pages = "7--46",
month = mar,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029447.02190.42",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=7",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "computational costs; functional logic programming;
partial evaluation",
}
@Article{LeMeur:2004:SSP,
author = "Anne-Fran{\c{c}}oise {Le Meur} and Julia L. Lawall and
Charles Consel",
title = "Specialization Scenarios: a Pragmatic Approach to
Declaring Program Specialization",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "1--2",
pages = "47--92",
month = mar,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029448.02877.78",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=47",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "declaration of specialization opportunities;
predictable partial evaluation; program specialization;
semantics-based program manipulation",
}
@Article{Khoo:2004:PAO,
author = "Siau-Cheng Khoo and Kun Shi",
title = "Program Adaptation via Output-Constraint
Specialization",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "1--2",
pages = "93--128",
month = mar,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029449.57959.bd",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=93",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "partial evaluation; specialization; weakest
pre-condition",
}
@Article{Voigtlander:2004:UCP,
author = "Janis Voigtl{\"a}nder",
title = "Using Circular Programs to Deforest in Accumulating
Parameters",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "1--2",
pages = "129--163",
month = mar,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029450.36668.cb",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=1&spage=129",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "(short cut) deforestation; accumulating arguments;
circular programs; intermediate results; program
transformation; tree transducers; tupling;
unfold/fold",
}
@Article{Basin:2004:E,
author = "David Basin and Olivier Danvy and Robert Harper",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "3",
pages = "171--171",
month = sep,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029480.20108.7d",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=171",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Lacey:2004:COC,
author = "David Lacey and Neil D. Jones and Eric {Van Wyk} and
Carl Christian Frederiksen",
title = "Compiler Optimization Correctness by Temporal Logic",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "3",
pages = "173--206",
month = sep,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029444.99264.c0",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=173",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "compiler verification; model checking; optimizing
compilers; temporal logic",
}
@Article{Kristensen:2004:ICP,
author = "Lars Michael Kristensen and S{\o}ren Christensen",
title = "Implementing Coloured {Petri} Nets Using a Functional
Programming Language",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "3",
pages = "207--243",
month = sep,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029445.29210.ca",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=207",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Coloured Petri Nets; distributed and concurrent
computation; high-level Petri Nets; implementation
techniques; Petri Nets; programming environments and
tools",
}
@Article{Tofte:2004:RRB,
author = "Mads Tofte and Lars Birkedal and Martin Elsman and
Niels Hallenberg",
title = "A Retrospective on Region-Based Memory Management",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "3",
pages = "245--265",
month = sep,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1023/B:LISP.0000029446.78563.a4",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=3&spage=245",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "dynamic storage management; regions; Standard ML",
}
@Article{Danvy:2004:E,
author = "Olivier Danvy and Ian Mason",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "4",
pages = "275--275",
month = dec,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-004-4865-0",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=275",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Queinnec:2004:CWS,
author = "Christian Queinnec",
title = "Continuations and {Web} Servers",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "4",
pages = "277--295",
month = dec,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-004-4866-z",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=277",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "continuations; hypertext; scheme; WWW",
}
@Article{Mastroeni:2004:APA,
author = "Isabella Mastroeni",
title = "Algebraic Power Analysis by Abstract Interpretation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "4",
pages = "297--345",
month = dec,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-004-4867-y",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=297",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "abstract domains; abstract interpretation; algebraic
power analysis; software watermarking; static program
analysis",
}
@Article{Helsen:2004:BRC,
author = "Simon Helsen",
title = "Bisimilarity for the Region Calculus",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "17",
number = "4",
pages = "347--394",
month = dec,
year = "2004",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-004-4868-x",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:43 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=17&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=17&issue=4&spage=347",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "bisimulation; contextual equivalence; equational
theory; region calculus",
}
@Article{Danvy:2005:E,
author = "Olivier Danvy and Fritz Henglein and Harry Mairson and
Alberto Pettorossi",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "5--6",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7001-x",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=5",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Mairson:2005:RP,
author = "Harry Mairson",
title = "{Robert Paige (1947--1999)}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "7--8",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7002-9",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=7",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Siegel:2005:RBP,
author = "Alan Siegel",
title = "Remembrances of {Bob Paige}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "9--11",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7003-8",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=9",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Davis:2005:ABP,
author = "Martin Davis",
title = "An Appreciation {of Bob Paige}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "13--13",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7004-7",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=13",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Goyal:2005:TDI,
author = "Deepak Goyal",
title = "Transformational Derivation of an Improved Alias
Analysis Algorithm",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "15--49",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7005-6",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=15",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "alias graph; continuity; control flow graph; dominated
convergence; finite differencing; input-bounded;
may-alias analysis; output-bounded; pointer analysis;
sparse evaluation graph; workset algorithm",
}
@Article{Desharnais:2005:LRP,
author = "Jules Desharnais and Bernhard M{\"o}ller",
title = "Least Reflexive Points of Relations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "51--77",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7006-5",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=51",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "fixed point; greatest reflexive point; inflationary
relation; lattice; least reflexive point; partial
order; relation",
}
@Article{Klarlund:2005:RLA,
author = "Nils Klarlund",
title = "Relativizations for the Logic-Automata Connection",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "79--120",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7007-4",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=79",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Pettorossi:2005:DEL,
author = "Alberto Pettorossi and Maurizio Proietti and Sophie
Renault",
title = "Derivation of Efficient Logic Programs by
Specialization and Reduction of Nondeterminism",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "121--210",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7008-3",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=121",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "automatic program derivation; logic programming;
program specialization; program transformation;
transformation rules and strategies",
}
@Article{Paige:2005:NP,
author = "Robert Paige",
title = "An {NSF} Proposal",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "1--2",
pages = "211--235",
month = jun,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-7009-2",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=1&spage=211",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "data structure selection; language translators;
partial evaluation; program transformation; software
performance; software productivity",
}
@Article{Felleisen:2005:E,
author = "Matthias Felleisen and Julia Lawall and Manuel Serrano
and Olin Shivers",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "3--4",
pages = "243--244",
month = dec,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-4875-6",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=3&spage=243",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Meunier:2005:SMS,
author = "Philippe Meunier and Robert Bruce Findler and Paul
Steckler and Mitchell Wand",
title = "Selectors Make Set--Based Analysis Too Hard",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "3--4",
pages = "245--269",
month = dec,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-4876-5",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=3&spage=245",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "program analysis; Scheme; set-based analysis; static
debugging",
}
@Article{Dube:2005:BVC,
author = "Danny Dub{\'e} and Marc Feeley",
title = "{BIT}: a Very Compact Scheme System for
Microcontrollers",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "3--4",
pages = "271--298",
month = dec,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-4877-4",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=3&spage=271",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "byte-code; embedded system; microcontroller; real-time
garbage collection; Scheme language",
}
@Article{Waddell:2005:FLF,
author = "Oscar Waddell and Dipanwita Sarkar and R. Kent
Dybvig",
title = "Fixing {Letrec}: a Faithful Yet Efficient
Implementation of {Scheme}'s Recursive Binding
Construct",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "3--4",
pages = "299--326",
month = dec,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-4878-3",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=3&spage=299",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "internal definitions; letrec restriction; modules;
mutual recursion; optimization; recursive binding
construct; Scheme",
}
@Article{Gasbichler:2005:IUL,
author = "Martin Gasbichler and Michael Sperber",
title = "Integrating User-Level Threads with Processes in
{Scsh}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "3--4",
pages = "327--354",
month = dec,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-4879-2",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=3&spage=327",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "continuations; Scheme; threads; Unix",
}
@Article{Kiselyov:2005:IMS,
author = "Oleg Kiselyov",
title = "Implementing {Metcast} in {Scheme}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "3--4",
pages = "355--370",
month = dec,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-4880-9",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=3&spage=355",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "application server; applications and experience with
symbolic computing; Scheme; SXML; weather observations;
WMO; XML",
}
@Article{Goldberg:2005:VEC,
author = "Mayer Goldberg",
title = "A Variadic Extension of {Curry}'s Fixed-Point
Combinator",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "18",
number = "3--4",
pages = "371--388",
month = dec,
year = "2005",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-005-4881-8",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=18&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=18&issue=3&spage=371",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "applicative order; fixed points; fixed-point
combinators; lambda-calculus; Scheme; variadic
functions",
}
@Article{Danvy:2006:Ea,
author = "Olivier Danvy and Oege de Moor and Julian Padget and
Peter Thiemann",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "1",
pages = "5--5",
month = mar,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8607-3",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=1&spage=5",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Martel:2006:SRE,
author = "Matthieu Martel",
title = "Semantics of roundoff error propagation in finite
precision calculations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "1",
pages = "7--30",
month = mar,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8608-2",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=1&spage=7",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract interpretation; Floating-point arithmetic;
IEEE 754 Standard; Numerical precision",
}
@Article{Mine:2006:OAD,
author = "Antoine Min{\'e}",
title = "The octagon abstract domain",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "1",
pages = "31--100",
month = mar,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8609-1",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=1&spage=31",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract interpretation; Numerical abstract domains;
Relational numerical invariants; Static analysis",
}
@Article{Nandivada:2006:DSR,
author = "V. Krishna Nandivada and Suresh Jagannathan",
title = "Dynamic state restoration using versioning
exceptions",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "1",
pages = "101--124",
month = mar,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8610-8",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=1&spage=101",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Exceptions; Points to analysis; Program analysis;
Rollback; Transactions; Versioning",
}
@Article{Pottier:2006:PTD,
author = "Fran{\c{c}}ois Pottier and Nadji Gauthier",
title = "Polymorphic typed defunctionalization and
concretization",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "1",
pages = "125--162",
month = mar,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8611-7",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=1&spage=125",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Closure conversion; Concretization;
Defunctionalization; Dictionary records; Polymorphic
records; Polymorphism; Type classes; Type-preserving
compilation",
}
@Article{Honsell:2006:E,
author = "Furio Honsell and Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "2--3",
pages = "167--168",
month = sep,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8744-8",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=2&spage=167",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Norrish:2006:MCU,
author = "Michael Norrish",
title = "Mechanising $\lambda$-calculus using a classical first
order theory of terms with permutations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "2--3",
pages = "169--195",
month = sep,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8745-7",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=2&spage=169",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Hickey:2006:FCC,
author = "Jason Hickey and Aleksey Nogin",
title = "Formal compiler construction in a logical framework",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "2--3",
pages = "197--230",
month = sep,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8746-6",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=2&spage=197",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Formal compiler; Higher-order abstract syntax; Logical
programming environment",
}
@Article{Hamana:2006:IAA,
author = "Makoto Hamana",
title = "An initial algebra approach to term rewriting systems
with variable binders",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "2--3",
pages = "231--262",
month = sep,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8747-5",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=2&spage=231",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract syntax with variable binding; Higher-order
abstract syntax; Initial algebra semantics; Term
rewriting systems",
}
@Article{Ghani:2006:ESH,
author = "Neil Ghani and Tarmo Uustalu and Makoto Hamana",
title = "Explicit substitutions and higher-order syntax",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "2--3",
pages = "263--282",
month = sep,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8748-4",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=2&spage=263",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract syntax; Algebras; Explicit substitutions;
Monads; Variable binding",
}
@Article{Gadducci:2006:APA,
author = "Fabio Gadducci and Marino Miculan and Ugo Montanari",
title = "About permutation algebras, (pre)sheaves and named
sets",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "2--3",
pages = "283--304",
month = sep,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8749-3",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=2&spage=283",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Named sets; Nominal calculi; Permutation algebras;
Presheaf categories",
}
@Article{Tanaka:2006:PDL,
author = "Miki Tanaka and John Power",
title = "Pseudo-distributive laws and axiomatics for variable
binding",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "2--3",
pages = "305--337",
month = sep,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-8750-x",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:44 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=2&spage=305",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Binding signatures; Context; Initial algebra
semantics; Pseudo-distributive law; Pseudo-monad;
Substitution monoidal structure",
}
@Article{Danvy:2006:Eb,
author = "Olivier Danvy and Andrzej Filinski and Jean-Louis
Giavitto and Andy King and Pierre-Etienne Moreau and
Carolyn Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "4",
pages = "343--344",
month = dec,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-0478-0",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=4&spage=343",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Bertolissi:2006:ECR,
author = "Clara Bertolissi and Horatiu Cirstea and Claude
Kirchner",
title = "Expressing combinatory reduction systems derivations
in the rewriting calculus",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "4",
pages = "345--376",
month = dec,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-0479-z",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=4&spage=345",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Combinatory reduction systems; Matching; Rewriting
calculus",
}
@Article{Levy:2006:CPV,
author = "Paul Blain Levy",
title = "Call-by-push-value: {Decomposing} call-by-value and
call-by-name",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "4",
pages = "377--414",
month = dec,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-0480-6",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=4&spage=377",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Call-by-name; Call-by-push-value; Call-by-value;
Computational effect; Lambda-calculus; Monad",
}
@Article{Hill:2006:DEA,
author = "Patricia M. Hill and Fausto Spoto",
title = "Deriving escape analysis by abstract interpretation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "19",
number = "4",
pages = "415--463",
month = dec,
year = "2006",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-006-0481-5",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=19&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=19&issue=4&spage=415",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract interpretation; Denotational semantics;
Garbage collection",
}
@Article{Marti-Oliet:2007:E,
author = "Narciso Mart{\'\i}-Oliet and Grigore Rosu and Carolyn
Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "1--2",
pages = "1--2",
month = jun,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9005-1",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=1&spage=1",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Cervesato:2007:RMC,
author = "Iliano Cervesato and Mark-Oliver Stehr",
title = "Representing the {MSR} cryptoprotocol specification
language in an extension of rewriting logic with
dependent types",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "1--2",
pages = "3--35",
month = jun,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9003-3",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=1&spage=3",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Dependent types; Multiset rewriting; Security
protocol; Specification",
}
@Article{Cirstea:2007:CEC,
author = "Horatiu Cirstea and Germain Faure and Claude
Kirchner",
title = "A $\rho$-calculus of explicit constraint application",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "1--2",
pages = "37--72",
month = jun,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9004-2",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=1&spage=37",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Explicit matching; Explicit substitution; Pattern
matching; Rewriting calculus",
}
@Article{Fraguas:2007:NGS,
author = "Francisco J. L{\'o}pez Fraguas and Mario
Rodr{\'\i}guez Artalejo and Rafael del Vado
V{\'\i}rseda",
title = "A new generic scheme for functional logic programming
with constraints",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "1--2",
pages = "73--122",
month = jun,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9002-4",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=1&spage=73",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Constraints; Functional programming; Logic
programming",
}
@Article{Meseguer:2007:SRA,
author = "Jos{\'e} Meseguer and Prasanna Thati",
title = "Symbolic reachability analysis using narrowing and its
application to verification of cryptographic
protocols",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "1--2",
pages = "123--160",
month = jun,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9000-6",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=1&spage=123",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Narrowing; Reachability; Rewrite theories; Security
protocols",
}
@Article{Olveczky:2007:SPR,
author = "Peter Csaba {\"O}lveczky and Jos{\'e} Meseguer",
title = "Semantics and pragmatics of {Real-Time Maude}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "1--2",
pages = "161--196",
month = jun,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9001-5",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=1&spage=161",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Formal analysis; Model checking; Object-oriented
specification; Real-time systems; Rewriting logic;
Simulation",
}
@Article{Danvy:2007:Ea,
author = "Olivier Danvy",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "197--198",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9021-1",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=197",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Krivine:2007:CNL,
author = "Jean-Louis Krivine",
title = "A call-by-name lambda-calculus machine",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "199--207",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9018-9",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=199",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Control instruction; Curry--Howard correspondence;
Lambda-calculus machine",
}
@Article{Cregut:2007:SRV,
author = "Pierre Cr{\'e}gut",
title = "Strongly reducing variants of the {Krivine} abstract
machine",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "209--230",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9015-z",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=209",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract machines; Strong normalization",
}
@Article{Wand:2007:CKM,
author = "Mitchell Wand",
title = "On the correctness of the {Krivine} machine",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "231--235",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9019-8",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=231",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Krivine machine; Lambda calculus; Weak head
reduction",
}
@Article{Douence:2007:NKM,
author = "R{\'e}mi Douence and Pascal Fradet",
title = "The next 700 {Krivine} machines",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "237--255",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9016-y",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=237",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract machines; Compilation; Functional language
implementations; Krivine machine; Program
transformation",
}
@Article{Lang:2007:ELK,
author = "Fr{\'e}d{\'e}ric Lang",
title = "Explaining the lazy {Krivine} machine using explicit
substitution and addresses",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "257--270",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9013-1",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=257",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract machine; Call-by-need; Functional
programming; Lazy evaluation",
}
@Article{Friedman:2007:ILK,
author = "Daniel P. Friedman and Abdulaziz Ghuloum and Jeremy G.
Siek and Onnie Lynn Winebarger",
title = "Improving the lazy {Krivine} machine",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "271--293",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9014-0",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=271",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Abstract machine; Call by need; Lambda calculus; Lazy
evaluation",
}
@Article{Lippi:2007:GKM,
author = "Sylvain Lippi",
title = "The graphical {Krivine} machine",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "295--318",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9011-3",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=295",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Distributed computation; Interaction nets; Linear
logic; Rewriting; Sharing-graphs; {\lambda} -calculus",
}
@Article{Schmidt:2007:STMa,
author = "David A. Schmidt",
title = "State-transition machines for lambda-calculus
expressions",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "319--332",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9012-2",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=319",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Continuations; Defunctionalization; Denotational
semantics; Lambda calculus; SECD-machine; State
transition machine; Weak-normal form",
}
@Article{Schmidt:2007:STMb,
author = "David A. Schmidt",
title = "State-transition machines, revisited",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "3",
pages = "333--335",
month = sep,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9017-x",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=3&spage=333",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Continuation-passing style; Defunctionalization;
Denotational semantics; Krivine machine;
Lambda-calculus",
}
@Article{Danvy:2007:Eb,
author = "Olivier Danvy and Hayo Thielecke",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "4",
pages = "337--338",
month = dec,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9020-2",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=4&spage=337",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Kameyama:2007:ACO,
author = "Yukiyoshi Kameyama",
title = "Axioms for control operators in the {CPS} hierarchy",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "4",
pages = "339--369",
month = dec,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9009-x",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=4&spage=339",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Axiomatization; Control operator; CPS translation;
Delimited continuation; Type system",
}
@Article{Shan:2007:SSD,
author = "Chung-chieh Shan",
title = "A static simulation of dynamic delimited control",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "4",
pages = "371--401",
month = dec,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9010-4",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=4&spage=371",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Continuation-passing style (CPS); Control and prompt;
Delimited control operators; Macro expressibility;
Shift and reset",
}
@Article{Ariola:2007:PTF,
author = "Zena M. Ariola and Hugo Herbelin and Amr Sabry",
title = "A proof-theoretic foundation of abortive
continuations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "4",
pages = "403--429",
month = dec,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9007-z",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=4&spage=403",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Callcc; Classical logic; Intuitionistic logic; Minimal
logic",
}
@Article{Krishnamurthi:2007:IUP,
author = "Shriram Krishnamurthi and Peter Walton Hopkins and Jay
McCarthy and Paul T. Graunke and Greg Pettyjohn and
Matthias Felleisen",
title = "Implementation and use of the {PLT} scheme {Web}
server",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "20",
number = "4",
pages = "431--460",
month = dec,
year = "2007",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-007-9008-y",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:45 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=20&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=20&issue=4&spage=431",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Applications; Conference management; Continuations;
Interaction; Performance; Scheme; Web",
}
@Article{Lawall:2008:E,
author = "Julia Lawall and Michael Leuschel and Peter Sestoft",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "1--3",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9029-1",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=1",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Barker:2008:EFA,
author = "Steve Barker and Michael Leuschel and Mauricio Varea",
title = "Efficient and flexible access control via
{Jones}-optimal logic program specialisation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "5--35",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9030-8",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=5",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Access control; Deductive databases; Meta-programming;
Partial evaluation; Program transformation",
}
@Article{Debois:2008:IPT,
author = "S{\o}ren Debois",
title = "Imperative-program transformation by
instrumented-interpreter specialization",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "37--58",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9027-3",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=37",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Code duplication; Interpretive approach; Moore
automata; Partial evaluation; Program transformation",
}
@Article{Duran:2008:POT,
author = "Francisco Dur{\'a}n and Salvador Lucas and Claude
March{\'e} and Jos{\'e} Meseguer and Xavier Urbain",
title = "Proving operational termination of membership
equational programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "59--88",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9028-2",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=59",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Conditional term rewriting; Declarative rule-based
languages; Membership equational logic; Operational
termination; Program transformation",
}
@Article{Hu:2008:PED,
author = "Zhenjiang Hu and Shin-Cheng Mu and Masato Takeichi",
title = "A programmable editor for developing structured
documents based on bidirectional transformations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "89--118",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9025-5",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=89",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Bidirectional transformation; Document engineering;
Functional programming; Structured editor; View
updating",
}
@Article{Hulaas:2008:PTL,
author = "Jarle Hulaas and Walter Binder",
title = "Program transformations for light-weight {CPU}
accounting and control in the {Java Virtual Machine}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "119--146",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9026-4",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=119",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Bytecode engineering; Java; Program transformations;
Resource management",
}
@Article{Ochoa:2008:DSL,
author = "Claudio Ochoa and Josep Silva and Germ{\'a}n Vidal",
title = "Dynamic slicing of lazy functional programs based on
redex trails",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "147--192",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9023-7",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=147",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Debugging; Lazy functional programming; Redex trails;
Slicing",
}
@Article{Pettorossi:2008:TCLa,
author = "Alberto Pettorossi and Maurizio Proietti",
title = "Totally correct logic program transformations via
well-founded annotations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "193--234",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9024-6",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=193",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "Logic programming; Partial and total correctness;
Program transformation rules; Well-founded orderings",
}
@Article{Pettorossi:2008:TCLb,
author = "Alberto Pettorossi and Maurizio Proietti",
title = "Totally correct logic program transformations via
well-founded annotations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "1--2",
pages = "235--235",
month = jun,
year = "2008",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-008-9031-7",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Wed Jul 9 12:34:46 MDT 2008",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=1&spage=235",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2008:Ea,
author = "Olivier Danvy and R. Kent Dybvig and Julia Lawall and
Peter Thiemann",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "3",
pages = "237--238",
month = sep,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=3&spage=237",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Skalka:2008:TTE,
author = "Christian Skalka",
title = "Types and trace effects for object orientation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "3",
pages = "239--282",
month = sep,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=3&spage=239",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{GlAck:2008:IJO,
author = "Robert Gl{\"u}ck",
title = "An investigation of {Jones} optimality and
{BTI}-universal specializers",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "3",
pages = "283--309",
month = sep,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=3&spage=283",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Bischof:2008:IAD,
author = "Christian H. Bischof and Paul D. Hovland and Boyana
Norris",
title = "On the implementation of automatic differentiation
tools",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "3",
pages = "311--331",
month = sep,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=3&spage=311",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Ziarek:2008:FTS,
author = "Lukasz Ziarek and Stephen Weeks and Suresh
Jagannathan",
title = "Flattening tuples in an {SSA} intermediate
representation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "3",
pages = "333--358",
month = sep,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=3&spage=333",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2008:Eb,
author = "Olivier Danvy and Ian Mason",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "4",
pages = "359--359",
month = dec,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=4&spage=359",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Siskind:2008:NFM,
author = "Jeffrey Mark Siskind and Barak A. Pearlmutter",
title = "Nesting forward-mode {AD} in a functional framework",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "4",
pages = "361--376",
month = dec,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=4&spage=361",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Owens:2008:AFP,
author = "Scott Owens and Konrad Slind",
title = "Adapting functional programs to higher order logic",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "4",
pages = "377--409",
month = dec,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=4&spage=377",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Amtoft:2008:FST,
author = "Torben Amtoft",
title = "Flow-sensitive type systems and the ambient calculus",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "21",
number = "4",
pages = "411--442",
month = dec,
year = "2008",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=21&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=21&issue=4&spage=411",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2009:Ea,
author = "Olivier Danvy and Julian Padget",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "1",
pages = "1--1",
month = mar,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=1&spage=1",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Hirschowitz:2009:CER,
author = "Tom Hirschowitz and Xavier Leroy and J. B. Wells",
title = "Compilation of extended recursion in call-by-value
functional languages",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "1",
pages = "3--66",
month = mar,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=1&spage=3",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Naylor:2009:ESF,
author = "Matthew Naylor and Colin Runciman",
title = "Expressible sharing for functional circuit
description",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "1",
pages = "67--80",
month = mar,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=1&spage=67",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Bresson:2009:VLC,
author = "Jean Bresson and Carlos Agon and G{\'e}rard Assayag",
title = "{Visual Lisp\slash CLOS} programming in {OpenMusic}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "1",
pages = "81--111",
month = mar,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=1&spage=81",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2009:Eb,
author = "Olivier Danvy and Carolyn L. Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "2",
pages = "113--113",
month = jun,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=2&spage=113",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Stump:2009:DRM,
author = "Aaron Stump",
title = "Directly reflective meta-programming",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "2",
pages = "115--144",
month = jun,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=2&spage=115",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Monniaux:2009:MLW,
author = "David Monniaux",
title = "A minimalistic look at widening operators",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "2",
pages = "145--154",
month = jun,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=2&spage=145",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Johann:2009:PAP,
author = "Patricia Johann and Neil Ghani",
title = "A principled approach to programming with nested types
in Haskell",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "2",
pages = "155--189",
month = jun,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=2&spage=155",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2009:PJL,
author = "Olivier Danvy",
title = "{Peter J. Landin} (1930--2009)",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "2",
pages = "191--195",
month = jun,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=2&spage=191",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2009:Ec,
author = "Olivier Danvy and Carolyn L. Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "3",
pages = "197--197",
month = sep,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=3&spage=197",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Dargaye:2009:VFH,
author = "Zaynah Dargaye and Xavier Leroy",
title = "A verified framework for higher-order uncurrying
optimizations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "3",
pages = "199--231",
month = sep,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=3&spage=199",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Ariola:2009:TTF,
author = "Zena M. Ariola and Hugo Herbelin and Amr Sabry",
title = "A type-theoretic foundation of delimited
continuations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "3",
pages = "233--273",
month = sep,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=3&spage=233",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Asai:2009:TDC,
author = "Kenichi Asai",
title = "On typing delimited continuations: three new solutions
to the {\tt printf} problem",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "3",
pages = "275--291",
month = sep,
year = "2009",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-009-9049-5",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Sep 6 16:43:26 MDT 2010",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=3&spage=275",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Danvy:2009:E,
author = "Olivier Danvy and Carolyn L. Talcott",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "293--293",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=293",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Bornat:2009:PLA,
author = "Richard Bornat",
title = "{Peter Landin}: a computer scientist who inspired a
generation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "295--298",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=295",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Boca:2009:PRP,
author = "Paul P. Boca",
title = "Personal recollections of {Peter Landin: 1987--2009}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "299--303",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=299",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Hammond:2009:PLP,
author = "Kevin Hammond and Greg Michaelson",
title = "The {Peter Landin Prize}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "305--312",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=305",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Tennent:2009:ILS,
author = "R. D. Tennent",
title = "An introduction to {Landin}'s {``Getting Rid of
Labels''}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "313--314",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=313",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Landin:2009:GRL,
author = "P. J. Landin",
title = "Getting rid of labels",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "315--329",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
note = "Introduced by Bob Tennent.",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=315",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Clark:2009:SAC,
author = "Tony Clark",
title = "Stories about calculations: remembering {Peter
Landin}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "331--332",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=331",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Landin:2009:CHH,
author = "Peter J. Landin",
title = "Calculations: a Hole in the Heart of the Study of
Computing",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "22",
number = "4",
pages = "333--359",
month = dec,
year = "2009",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Mon Jan 31 13:54:05 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=22&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
note = "Introduced by Tony Clark.",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=22&issue=4&spage=333",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Alves:2010:LIT,
author = "Sandra Alves and Maribel Fern{\'a}ndez and M{\'a}rio
Florido and Ian Mackie",
title = "Linearity and iterator types for {G{\"o}del}'s
System",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "1",
pages = "1--27",
month = mar,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Tue Sep 6 16:06:25 MDT 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=1&spage=1",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Spoto:2010:MSL,
author = "Fausto Spoto and {\'E}tienne Payet",
title = "Magic-sets for localised analysis of {Java} bytecode",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "1",
pages = "29--86",
month = mar,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Tue Sep 6 16:06:25 MDT 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=1&spage=29",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Simon:2010:TVP,
author = "Axel Simon and Andy King",
title = "The two variable per inequality abstract domain",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "1",
pages = "87--143",
month = mar,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
ISSN-L = "1388-3690",
bibdate = "Tue Sep 6 16:06:25 MDT 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=1&spage=87",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Middelkoop:2010:LSG,
author = "Arie Middelkoop and Atze Dijkstra and S. Doaitse
Swierstra",
title = "A lean specification for {GADTs}: system {F} with
first-class equality proofs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "2",
pages = "145--166",
month = jun,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Mon Dec 5 18:09:55 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=2&spage=145",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Herman:2010:SEG,
author = "David Herman and Aaron Tomb and Cormac Flanagan",
title = "Space-efficient gradual typing",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "2",
pages = "167--189",
month = jun,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Mon Dec 5 18:09:55 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=2&spage=167",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Grov:2010:HBC,
author = "Gudmund Grov and Greg Michaelson",
title = "{Hume} box calculus: robust system development through
software transformation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "2",
pages = "191--226",
month = jun,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Mon Dec 5 18:09:55 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=2&spage=191",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Sculthorpe:2010:KCF,
author = "Neil Sculthorpe and Henrik Nilsson",
title = "Keeping calm in the face of change: Towards
optimisation of {FRP} by reasoning about change",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "2",
pages = "227--271",
month = jun,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Mon Dec 5 18:09:55 MST 2011",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=2&spage=227",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Gallagher:2010:E,
author = "John P. Gallagher and Janis Voigtl{\"a}nder",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "3",
pages = "273--274",
month = sep,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Thu Apr 12 15:23:23 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=3&spage=273",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Lakhotia:2010:CSA,
author = "Arun Lakhotia and Davidson R. Boccardo and Anshuman
Singh and Aleardo Manacero",
title = "Context-sensitive analysis without calling-context",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "3",
pages = "275--313",
month = sep,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Thu Apr 12 15:23:23 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=3&spage=275",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Holdermans:2010:MSM,
author = "Stefan Holdermans and Jurriaan Hage",
title = "Making {``stricterness''} more relevant",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "3",
pages = "315--335",
month = sep,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Thu Apr 12 15:23:23 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=3&spage=315",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Henglein:2010:GMP,
author = "Fritz Henglein and Ken Friis Larsen",
title = "Generic multiset programming with discrimination-based
joins and symbolic {Cartesian} products",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "3",
pages = "337--370",
month = sep,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Thu Apr 12 15:23:23 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=3&spage=337",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Rudolph:2010:MTS,
author = "Johannes Rudolph and Peter Thiemann",
title = "{Mnemonics}: type-safe bytecode generation at run
time",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "3",
pages = "371--407",
month = sep,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Thu Apr 12 15:23:23 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=3&spage=371",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Serrano:2010:MTS,
author = "Manuel Serrano and Christian Queinnec",
title = "A multi-tier semantics for {Hop}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "4",
pages = "409--431",
month = nov,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:28 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=4&spage=409",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Chadwick:2010:FAG,
author = "Bryan Chadwick and Karl Lieberherr",
title = "A functional approach to generic programming using
adaptive traversals",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "4",
pages = "433--463",
month = nov,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:28 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=4&spage=433",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Achten:2010:TTF,
author = "Peter Achten and Marko van Eekelen and Pieter Koopman
and Marco T. Moraz{\'a}n",
title = "Trends in {Trends in Functional Programming 1999\slash
2000} versus 2007\slash 2008",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "4",
pages = "465--487",
month = nov,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:28 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=4&spage=465",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Swierstra:2010:MDT,
author = "Wouter Swierstra",
title = "More dependent types for distributed arrays",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "23",
number = "4",
pages = "489--506",
month = nov,
year = "2010",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:28 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=23&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=23&issue=4&spage=489",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Lawall:2011:E,
author = "Julia Lawall and Germ{\'a}n Puebla and Germ{\'a}n
Vidal",
title = "Editorial",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "1--2",
pages = "1--2",
month = jun,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:29 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=1&spage=1",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{elBoustani:2011:ITE,
author = "Nabil el Boustani and Jurriaan Hage",
title = "Improving type error messages for generic {Java}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "1--2",
pages = "3--39",
month = jun,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:29 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=1&spage=3",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Simmons:2011:LAP,
author = "Robert J. Simmons and Frank Pfenning",
title = "Logical approximation for program analysis",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "1--2",
pages = "41--80",
month = jun,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:29 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=1&spage=41",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Salama:2011:SCC,
author = "Cherif Salama and Gregory Malecha and Walid Taha and
Jim Grundy and John O'Leary",
title = "Static consistency checking for {Verilog} wire
interconnects: Using dependent types to check the
sanity of {Verilog} descriptions",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "1--2",
pages = "81--114",
month = jun,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:29 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=1&spage=81",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Pardo:2011:SFR,
author = "Alberto Pardo and Jo{\~a}o Paulo Fernandes and
Jo{\~a}o Saraiva",
title = "Shortcut fusion rules for the derivation of circular
and higher-order programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "1--2",
pages = "115--149",
month = jun,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:29 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=1&spage=115",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Chen:2011:SEL,
author = "Kung Chen and Shu-Chun Weng and Jia-Yin Lin and Meng
Wang and Siau-Cheng Khoo",
title = "Side-effect localization for lazy, purely functional
languages via aspects",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "1--2",
pages = "151--189",
month = jun,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:29 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=1&spage=151",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Niqui:2011:PMT,
author = "M. Niqui and J. J. M. M. Rutten",
title = "A proof of {Moessner}'s theorem by coinduction",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "3",
pages = "191--206",
month = sep,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:30 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=3&spage=191",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Garrigue:2011:PRN,
author = "Jacques Garrigue and Keiko Nakata",
title = "Path resolution for nested recursive modules",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "3",
pages = "207--237",
month = sep,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:30 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=3&spage=207",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Kerneis:2011:CPC,
author = "Gabriel Kerneis and Juliusz Chroboczek",
title = "{Continuation-Passing C}, compiling threads to events
through continuations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "3",
pages = "239--279",
month = sep,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Oct 26 09:07:30 MDT 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=3;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
note = "See erratum \cite{Kerneis:2011:ECP}.",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=3&spage=239",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Iwasaki:2011:PIS,
author = "Hideya Iwasaki and Takeshi Morimoto and Yasunao
Takano",
title = "Pruning with improving sequences in lazy functional
programs",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "4",
pages = "281--309",
month = nov,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Nov 23 10:39:53 MST 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=4&spage=281",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Asai:2011:FU,
author = "Kenichi Asai and Oleg Kiselyov and Chung-chieh Shan",
title = "Functional un$|$unparsing",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "4",
pages = "311--340",
month = nov,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Nov 23 10:39:53 MST 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=4&spage=311",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
keywords = "typed printf; typed scanf",
}
@Article{Liu:2011:TSS,
author = "Yu David Liu and Christian Skalka and Scott F. Smith",
title = "Type-specialized staged programming with process
separation",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "4",
pages = "341--385",
month = nov,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Nov 23 10:39:53 MST 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=4&spage=341",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Kerneis:2011:ECP,
author = "Gabriel Kerneis and Juliusz Chroboczek",
title = "Erratum to: {Continuation--Passing C, compiling
threads to events through continuations}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "24",
number = "4",
pages = "387--387",
month = nov,
year = "2011",
CODEN = "LSCOEX",
ISSN = "1388-3690 (print), 2212-0793 (electronic)",
bibdate = "Fri Nov 23 10:39:53 MST 2012",
bibsource = "http://springerlink.metapress.com/openurl.asp?genre=issue&issn=1388-3690&volume=24&issue=4;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
note = "See \cite{Kerneis:2011:CPC}.",
URL = "http://www.springerlink.com/openurl.asp?genre=article&issn=1388-3690&volume=24&issue=4&spage=387",
acknowledgement = ack-nhfb,
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Kiselyov:2012:EP,
author = "Oleg Kiselyov and Julia Lawall and Simon Thompson",
title = "Editorial {PEPM2012}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "1",
pages = "1--2",
month = mar,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9092-0",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Mon Jan 25 07:49:58 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/article/10.1007/s10990-013-9092-0;
http://link.springer.com/content/pdf/10.1007/s10990-013-9092-0.pdf",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Matsuda:2012:PTI,
author = "Kazutaka Matsuda and Kazuhiro Inaba and Keisuke
Nakano",
title = "Polynomial-time inverse computation for accumulative
functions with multiple data traversals",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "1",
pages = "3--38",
month = mar,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9097-8",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Mon Jan 25 07:49:58 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/article/10.1007/s10990-013-9097-8;
http://link.springer.com/content/pdf/10.1007/s10990-013-9097-8.pdf",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Kobayashi:2012:FPC,
author = "Naoki Kobayashi and Kazutaka Matsuda and Ayumi
Shinohara",
title = "Functional programs as compressed data",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "1",
pages = "39--84",
month = mar,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9093-z",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Mon Jan 25 07:49:58 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/article/10.1007/s10990-013-9093-z",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Degen:2012:ICL,
author = "Markus Degen and Peter Thiemann and Stefan Wehr",
title = "The interaction of contracts and laziness",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "1",
pages = "85--125",
month = mar,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9094-y",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Mon Jan 25 07:49:58 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/article/10.1007/s10990-013-9094-y",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Sasano:2012:ACV,
author = "Isao Sasano and Takumi Goto",
title = "An approach to completing variable names for
implicitly typed functional languages",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "1",
pages = "127--163",
month = mar,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9095-x",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Mon Jan 25 07:49:58 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/article/10.1007/s10990-013-9095-x",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Rompf:2012:SVL,
author = "Tiark Rompf and Nada Amin and Adriaan Moors",
title = "{Scala-Virtualized}: linguistic reuse for deep
embeddings",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "1",
pages = "165--207",
month = mar,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9096-9",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Mon Jan 25 07:49:58 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/article/10.1007/s10990-013-9096-9",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Klein:2012:RVM,
author = "Casey Klein and Matthew Flatt and Robert Bruce
Findler",
title = "The {Racket} virtual machine and randomized testing",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "2--4",
pages = "209--253",
month = dec,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9091-1",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Dec 8 13:59:27 MST 2016",
bibsource = "http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib;
http://www.math.utah.edu/pub/tex/bib/virtual-machines.bib",
URL = "http://link.springer.com/accesspage/article/10.1007/s10990-013-9091-1;
http://link.springer.com/article/10.1007/s10990-013-9091-1",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
keywords = "MzScheme; Racket virtual machine and bytecode
verifier; VLISP project",
}
@Article{Gill:2012:TAT,
author = "Andy Gill and Tristan Bull and Andrew Farmer",
title = "Types and associated type families for hardware
simulation and synthesis",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "2--4",
pages = "255--274",
month = dec,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9098-7",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Dec 8 13:59:27 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/accesspage/article/10.1007/s10990-013-9098-7;
http://link.springer.com/article/10.1007/s10990-013-9098-7",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Capper:2012:STS,
author = "John Capper and Henrik Nilsson",
title = "Structural types for systems of equations",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "25",
number = "2--4",
pages = "275--310",
month = dec,
year = "2012",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-013-9099-6",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Dec 8 13:59:27 MST 2016",
bibsource = "http://link.springer.com/journal/10990/25/2;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/accesspage/article/10.1007/s10990-013-9099-6;
http://link.springer.com/article/10.1007/s10990-013-9099-6",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Zsok:2013:ET,
author = "Vikt{\'o}ria Zs{\'o}k and Rex Page and Julia Lawall",
title = "Editorial {TFP 2009\slash 2010}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "26",
number = "1--4",
pages = "1--2",
month = dec,
year = "2013",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-014-9102-x",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Dec 8 13:59:27 MST 2016",
bibsource = "http://link.springer.com/journal/10990/26/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/article/10.1007/s10990-014-9102-x;
http://link.springer.com/content/pdf/10.1007/s10990-014-9102-x.pdf",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Horstmeyer:2013:GBC,
author = "Thomas Horstmeyer and Rita Loogen",
title = "Graph-based communication in {Eden}",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "26",
number = "1--4",
pages = "3--28",
month = dec,
year = "2013",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-014-9101-y",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Dec 8 13:59:27 MST 2016",
bibsource = "http://link.springer.com/journal/10990/26/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/accesspage/article/10.1007/s10990-014-9101-y;
http://link.springer.com/article/10.1007/s10990-014-9101-y",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Clerici:2013:GIT,
author = "Silvia Clerici and Cristina Zoltan",
title = "Graphical and incremental type inference. {A} graph
transformation approach",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "26",
number = "1--4",
pages = "29--62",
month = dec,
year = "2013",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-014-9104-8",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Dec 8 13:59:27 MST 2016",
bibsource = "http://link.springer.com/journal/10990/26/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/accesspage/article/10.1007/s10990-014-9104-8;
http://link.springer.com/article/10.1007/s10990-014-9104-8",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}
@Article{Zerny:2013:GRR,
author = "Ian Zerny",
title = "On graph rewriting, reduction, and evaluation in the
presence of cycles",
journal = j-HIGHER-ORDER-SYMB-COMPUT,
volume = "26",
number = "1--4",
pages = "63--84",
month = dec,
year = "2013",
CODEN = "LSCOEX",
DOI = "https://doi.org/10.1007/s10990-014-9103-9",
ISSN = "1388-3690 (print), 1573-0557 (electronic)",
bibdate = "Thu Dec 8 13:59:27 MST 2016",
bibsource = "http://link.springer.com/journal/10990/26/1;
http://www.math.utah.edu/pub/tex/bib/higherordersymbcomput.bib",
URL = "http://link.springer.com/accesspage/article/10.1007/s10990-014-9103-9;
http://link.springer.com/article/10.1007/s10990-014-9103-9",
acknowledgement = ack-nhfb,
fjournal = "Higher-Order and Symbolic Computation",
journal-URL = "http://link.springer.com/journal/10990",
}