Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/hoots:"
download as .bib file
@inproceedings{DBLP:journals/entcs/Baldamus00,
author = {Michael Baldamus},
editor = {Alan Jeffrey},
title = {First-order Semantics for Higher-order Processes},
booktitle = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {50--69},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(04)80873-9},
doi = {10.1016/S1571-0661(04)80873-9},
timestamp = {Thu, 01 Dec 2022 10:14:30 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Baldamus00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BiermanPR00,
author = {Gavin M. Bierman and
Andrew M. Pitts and
Claudio V. Russo},
editor = {Alan Jeffrey},
title = {Operational Properties of Lily, a Polymorphic Linear Lambda Calculus
with Recursion},
booktitle = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {70--88},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(04)80874-0},
doi = {10.1016/S1571-0661(04)80874-0},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BiermanPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HelsenT00,
author = {Simon Helsen and
Peter Thiemann},
editor = {Alan Jeffrey},
title = {Syntactic Type Soundness for the Region Calculus},
booktitle = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {1--19},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(04)80870-3},
doi = {10.1016/S1571-0661(04)80870-3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HelsenT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jeffrey00,
author = {Alan Jeffrey},
editor = {Alan Jeffrey},
title = {Preface},
booktitle = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {89},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80875-8},
doi = {10.1016/S1571-0661(05)80875-8},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jeffrey00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Minamide00,
author = {Yasuhiko Minamide},
editor = {Alan Jeffrey},
title = {A New Criterion for Safe Program Transformations},
booktitle = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {20--34},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(04)80871-5},
doi = {10.1016/S1571-0661(04)80871-5},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Minamide00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Virga00,
author = {Roberto Virga},
editor = {Alan Jeffrey},
title = {Efficient Substitution in Hoare Logic Expressions},
booktitle = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
pages = {35--49},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(04)80872-7},
doi = {10.1016/S1571-0661(04)80872-7},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Virga00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoots/2000,
editor = {Alan Jeffrey},
title = {4th International Workshop on Higher Order Operational Techniques
in Semantics, {HOOTS} 2000, Satellite to {PLI} 2000, Montreal, Canada,
September 22, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {41},
number = {3},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/41/issue/3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoots/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BentonK99,
author = {Nick Benton and
Andrew Kennedy},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Monads, Effects and Transformations},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {3--20},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80280-4},
doi = {10.1016/S1571-0661(05)80280-4},
timestamp = {Fri, 11 Nov 2022 15:22:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BentonK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanvyDP99,
author = {Olivier Danvy and
Belmina Dzafic and
Frank Pfenning},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {On proving syntactic properties of {CPS} programs},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {21--33},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80281-6},
doi = {10.1016/S1571-0661(05)80281-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanvyDP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fiskio-LasseterS99,
author = {John Howard Eli Fiskio{-}Lasseter and
Amr Sabry},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Putting Operational Techniques to the Test: {A} Syntactic Theory for
Behavioral Verilog},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {34--51},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80282-8},
doi = {10.1016/S1571-0661(05)80282-8},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fiskio-LasseterS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Glew99,
author = {Neal Glew},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Object Closure Conversion},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {52--68},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80283-X},
doi = {10.1016/S1571-0661(05)80283-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Glew99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GordonP99,
author = {Andrew D. Gordon and
Andrew M. Pitts},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Preface},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {1--2},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80279-8},
doi = {10.1016/S1571-0661(05)80279-8},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GordonP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GustavssonS99,
author = {J{\"{o}}rgen Gustavsson and
David Sands},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {A Foundation for Space-Safe Transformations of Call-by-Need Programs},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {69--86},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80284-1},
doi = {10.1016/S1571-0661(05)80284-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GustavssonS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KakkarHMG99,
author = {Pankaj Kakkar and
Michael W. Hicks and
Jonathan T. Moore and
Carl A. Gunter},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Specifying the {PLAN} Network Programming Langauge},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {87--104},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80285-3},
doi = {10.1016/S1571-0661(05)80285-3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KakkarHMG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Minamide99,
author = {Yasuhiko Minamide},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Space-Profiling Semantics of the Call-by-Value Lambda Calculus and
the {CPS} Transformation},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {105--120},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80286-5},
doi = {10.1016/S1571-0661(05)80286-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Minamide99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoggiP99,
author = {Eugenio Moggi and
Fabrizio Palumbo},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Monadic Encapsulation of Effects: a Revised Approach},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {121},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80287-7},
doi = {10.1016/S1571-0661(05)80287-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoggiP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MoranLJ99,
author = {Andrew Moran and
S{\o}ren B. Lassen and
Simon L. Peyton Jones},
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Imprecise Exceptions, Co-Inductively},
booktitle = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
pages = {122--141},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80288-9},
doi = {10.1016/S1571-0661(05)80288-9},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MoranLJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoots/1999,
editor = {Andrew D. Gordon and
Andrew M. Pitts},
title = {Third Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1999, Paris, France, September 30 - October 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {26},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/26/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoots/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbadiFG97,
author = {Mart{\'{\i}}n Abadi and
C{\'{e}}dric Fournet and
Georges Gonthier},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Secure Implementation of Channel Abstractions},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {202--203},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)82514-9},
doi = {10.1016/S1571-0661(05)82514-9},
timestamp = {Fri, 11 Nov 2022 13:29:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbadiFG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AriolaS97,
author = {Zena M. Ariola and
Amr Sabry},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Correctness of Monadic State: An Imperative Call-by-Need Calculus},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {53},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80690-5},
doi = {10.1016/S1571-0661(05)80690-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AriolaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartheHT97,
author = {Gilles Barthe and
John Hatcliff and
Peter Thiemann},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Monadic Type Systems: Pure Type Systems for Impure Settings},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {54--120},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80691-7},
doi = {10.1016/S1571-0661(05)80691-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BartheHT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CardelliG97,
author = {Luca Cardelli and
Andrew D. Gordon},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Mobile Ambients},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {198--201},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80699-1},
doi = {10.1016/S1571-0661(05)80699-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CardelliG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Dami97,
author = {Laurent Dami},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Operational Subsumption, an Ideal Model of Subtyping},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {28--49},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80686-3},
doi = {10.1016/S1571-0661(05)80686-3},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Dami97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlattF97,
author = {Matthew Flatt and
Matthias Felleisen},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Program Units as Higher-Order Modules},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {204--229},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80701-7},
doi = {10.1016/S1571-0661(05)80701-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlattF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FreundM97,
author = {Stephen N. Freund and
John C. Mitchell},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {A Type System For Object Initialization In the Java Bytecode Language},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {242--245},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80703-0},
doi = {10.1016/S1571-0661(05)80703-0},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FreundM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gardner97,
author = {Philippa Gardner},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {A Type-theoretic Description of Action Calculi},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {52},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)82513-7},
doi = {10.1016/S1571-0661(05)82513-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gardner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GordonPT97,
author = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Preface},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {1},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80684-X},
doi = {10.1016/S1571-0661(05)80684-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GordonPT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IbraheemS97,
author = {Husain Ibraheem and
David A. Schmidt},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations
and "Higher-Order" Derivations},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {121},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80692-9},
doi = {10.1016/S1571-0661(05)80692-9},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IbraheemS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Jeffrey97,
author = {Alan Jeffrey},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Premonoidal categories and flow graphs},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {51},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80688-7},
doi = {10.1016/S1571-0661(05)80688-7},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Jeffrey97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LassenP97,
author = {S{\o}ren B. Lassen and
Corin Pitcher},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order
Functions},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {246--266},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80704-2},
doi = {10.1016/S1571-0661(05)80704-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LassenP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontanariP97,
author = {Ugo Montanari and
Marco Pistore},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {An Introduction to History Dependent Automata},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {170--188},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80696-6},
doi = {10.1016/S1571-0661(05)80696-6},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MontanariP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MontanariT97,
author = {Ugo Montanari and
Carolyn L. Talcott},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Can Actors and pi-Agents Live Together?},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {189--196},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80697-8},
doi = {10.1016/S1571-0661(05)80697-8},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MontanariT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MorrisettH97,
author = {J. Gregory Morrisett and
Robert Harper},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Typed Closure Conversion for Recursively-Defined Functions},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {230--241},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80702-9},
doi = {10.1016/S1571-0661(05)80702-9},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MorrisettH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NielsonN97,
author = {Flemming Nielson and
Hanne Riis Nielson},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Flow Logic and Operational Semantics},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {150--169},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80695-4},
doi = {10.1016/S1571-0661(05)80695-4},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NielsonN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pitts97,
author = {Andrew M. Pitts},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Parametric Polymorphism and Operational Equivalence},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {2--27},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80685-1},
doi = {10.1016/S1571-0661(05)80685-1},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pitts97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Sands97,
author = {Dave Sands},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Computing with Contexts: {A} simple approach},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {134--149},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80694-2},
doi = {10.1016/S1571-0661(05)80694-2},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Sands97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Smith97,
author = {Scott F. Smith},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Specification Diagrams for Actor Systems},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {197},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80698-X},
doi = {10.1016/S1571-0661(05)80698-X},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Smith97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stoughton97,
author = {Allen Stoughton},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {An Operational Semantics Framework Supporting the Incremental Construction
of Derivation Trees},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {122--133},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80693-0},
doi = {10.1016/S1571-0661(05)80693-0},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Stoughton97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Winskel97,
author = {Glynn Winskel},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {An Operational Understanding of Bisimulation from Open Maps},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {50},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80687-5},
doi = {10.1016/S1571-0661(05)80687-5},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Winskel97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hoots/1997,
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/10/suppl/C},
timestamp = {Fri, 11 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hoots/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-06 18:32 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
