Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sam Tobin-Hochstadt
@article{DBLP:journals/pacmpl/FlattAAGFFGGKKMPPST23,
author = {Matthew Flatt and
Taylor Allred and
Nia Angle and
Stephen De Gabrielle and
Robert Bruce Findler and
Jack Firth and
Kiran Gopinathan and
Ben Greenman and
Siddhartha Kasivajhula and
Alex Knauth and
Jay A. McCarthy and
Sam Phillips and
Sorawee Porncharoenwase and
Jens Axel S{\o}gaard and
Sam Tobin{-}Hochstadt},
title = {Rhombus: {A} New Spin on Macros without All the Parentheses},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {574--603},
year = {2023},
url = {https://doi.org/10.1145/3622818},
doi = {10.1145/3622818},
timestamp = {Mon, 11 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FlattAAGFFGGKKMPPST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/WaliaST22,
author = {Rajan Walia and
Chung{-}chieh Shan and
Sam Tobin{-}Hochstadt},
title = {Sham: {A} {DSL} for Fast DSLs},
journal = {Art Sci. Eng. Program.},
volume = {6},
number = {1},
pages = {4},
year = {2022},
url = {https://doi.org/10.22152/programming-journal.org/2022/6/4},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/4},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/programming/WaliaST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/FuT22,
author = {Yuquan Fu and
Sam Tobin{-}Hochstadt},
title = {Type Checking Extracted Methods},
journal = {Art Sci. Eng. Program.},
volume = {6},
number = {2},
pages = {6},
year = {2022},
url = {https://doi.org/10.22152/programming-journal.org/2022/6/6},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2022/6/6},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/FuT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/SpallMT22,
author = {Sarah Spall and
Neil Mitchell and
Sam Tobin{-}Hochstadt},
editor = {Andrei Popescu and
Steve Zdancewic},
title = {Forward build systems, formally},
booktitle = {{CPP} '22: 11th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022},
pages = {130--142},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3497775.3503687},
doi = {10.1145/3497775.3503687},
timestamp = {Mon, 17 Jan 2022 09:44:17 +0100},
biburl = {https://dblp.org/rec/conf/cpp/SpallMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-05328,
author = {Sarah Spall and
Neil Mitchell and
Sam Tobin{-}Hochstadt},
title = {Forward Build Systems, Formally},
journal = {CoRR},
volume = {abs/2202.05328},
year = {2022},
url = {https://arxiv.org/abs/2202.05328},
eprinttype = {arXiv},
eprint = {2202.05328},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-05328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MoyNTH21,
author = {Cameron Moy and
Phuc C. Nguyen and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Corpse reviver: sound and efficient gradual typing via contract verification},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--28},
year = {2021},
url = {https://doi.org/10.1145/3434334},
doi = {10.1145/3434334},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/MoyNTH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SpallMT20,
author = {Sarah Spall and
Neil Mitchell and
Sam Tobin{-}Hochstadt},
title = {Build scripts with perfect dependencies},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {169:1--169:28},
year = {2020},
url = {https://doi.org/10.1145/3428237},
doi = {10.1145/3428237},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/SpallMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-09028,
author = {Rajan Walia and
Chung{-}chieh Shan and
Sam Tobin{-}Hochstadt},
title = {Sham: {A} {DSL} for Fast DSLs},
journal = {CoRR},
volume = {abs/2005.09028},
year = {2020},
url = {https://arxiv.org/abs/2005.09028},
eprinttype = {arXiv},
eprint = {2005.09028},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-09028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12630,
author = {Cameron Moy and
Phuc C. Nguyen and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification},
journal = {CoRR},
volume = {abs/2007.12630},
year = {2020},
url = {https://arxiv.org/abs/2007.12630},
eprinttype = {arXiv},
eprint = {2007.12630},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12630.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-12737,
author = {Sarah Spall and
Neil Mitchell and
Sam Tobin{-}Hochstadt},
title = {Build Scripts with Perfect Dependencies},
journal = {CoRR},
volume = {abs/2007.12737},
year = {2020},
url = {https://arxiv.org/abs/2007.12737},
eprinttype = {arXiv},
eprint = {2007.12737},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-12737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03608,
author = {Yuquan Fu and
Sam Tobin{-}Hochstadt},
title = {Type checking extracted methods},
journal = {CoRR},
volume = {abs/2010.03608},
year = {2020},
url = {https://arxiv.org/abs/2010.03608},
eprinttype = {arXiv},
eprint = {2010.03608},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03608.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FlattDDKMSTZ19,
author = {Matthew Flatt and
Caner Derici and
R. Kent Dybvig and
Andrew W. Keep and
Gustavo E. Massaccesi and
Sarah Spall and
Sam Tobin{-}Hochstadt and
Jon Zeppieri},
title = {Rebuilding racket on chez scheme (experience report)},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {78:1--78:15},
year = {2019},
url = {https://doi.org/10.1145/3341642},
doi = {10.1145/3341642},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FlattDDKMSTZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WaliaNCTS19,
author = {Rajan Walia and
Praveen Narayanan and
Jacques Carette and
Sam Tobin{-}Hochstadt and
Chung{-}chieh Shan},
title = {From high-level inference algorithms to efficient code},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {98:1--98:30},
year = {2019},
url = {https://doi.org/10.1145/3341702},
doi = {10.1145/3341702},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WaliaNCTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NguyenGTH19,
author = {Phuc C. Nguyen and
Thomas Gilray and
Sam Tobin{-}Hochstadt and
David Van Horn},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {Size-change termination as a contract: dynamically and statically
enforcing termination for higher-order programs},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {845--859},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314643},
doi = {10.1145/3314221.3314643},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/NguyenGTH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/FelleisenFFKBMT18,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi and
Eli Barzilay and
Jay A. McCarthy and
Sam Tobin{-}Hochstadt},
title = {A programmable programming language},
journal = {Commun. {ACM}},
volume = {61},
number = {3},
pages = {62--71},
year = {2018},
url = {https://doi.org/10.1145/3127323},
doi = {10.1145/3127323},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/FelleisenFFKBMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SwordsST18,
author = {Cameron Swords and
Amr Sabry and
Sam Tobin{-}Hochstadt},
title = {An extended account of contract monitoring strategies as patterns
of communication},
journal = {J. Funct. Program.},
volume = {28},
pages = {e4},
year = {2018},
url = {https://doi.org/10.1017/S0956796818000047},
doi = {10.1017/S0956796818000047},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SwordsST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/NguyenGTH18,
author = {Phuc C. Nguyen and
Thomas Gilray and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Soft contract verification for higher-order stateful programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {51:1--51:30},
year = {2018},
url = {https://doi.org/10.1145/3158139},
doi = {10.1145/3158139},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/NguyenGTH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-06562,
author = {Rajan Walia and
Jacques Carette and
Praveen Narayanan and
Chung{-}chieh Shan and
Sam Tobin{-}Hochstadt},
title = {Efficient compilation of array probabilistic programs},
journal = {CoRR},
volume = {abs/1805.06562},
year = {2018},
url = {http://arxiv.org/abs/1805.06562},
eprinttype = {arXiv},
eprint = {1805.06562},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-06562.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-02101,
author = {Phuc C. Nguyen and
Thomas Gilray and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Size-Change Termination as a Contract},
journal = {CoRR},
volume = {abs/1808.02101},
year = {2018},
url = {http://arxiv.org/abs/1808.02101},
eprinttype = {arXiv},
eprint = {1808.02101},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-02101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03571,
author = {Ambrose Bonnaire{-}Sergeant and
Rowan Davies and
Sam Tobin{-}Hochstadt},
title = {Practical Optional Types for Clojure},
journal = {CoRR},
volume = {abs/1812.03571},
year = {2018},
url = {http://arxiv.org/abs/1812.03571},
eprinttype = {arXiv},
eprint = {1812.03571},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NguyenTH17,
author = {Phuc C. Nguyen and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Higher order symbolic execution for contract verification and refutation},
journal = {J. Funct. Program.},
volume = {27},
pages = {e3},
year = {2017},
url = {https://doi.org/10.1017/S0956796816000216},
doi = {10.1017/S0956796816000216},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/NguyenTH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaumanBST17,
author = {Spenser Bauman and
Carl Friedrich Bolz{-}Tereick and
Jeremy G. Siek and
Sam Tobin{-}Hochstadt},
title = {Sound gradual typing: only mostly dead},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {54:1--54:24},
year = {2017},
url = {https://doi.org/10.1145/3133878},
doi = {10.1145/3133878},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BaumanBST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/VollmerSCSK0TN17,
author = {Michael Vollmer and
Sarah Spall and
Buddhika Chamith and
Laith Sakka and
Chaitanya Koparkar and
Milind Kulkarni and
Sam Tobin{-}Hochstadt and
Ryan Newton},
editor = {Peter M{\"{u}}ller},
title = {Compiling Tree Transforms to Operate on Packed Representations},
booktitle = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017,
June 19-23, 2017, Barcelona, Spain},
series = {LIPIcs},
volume = {74},
pages = {26:1--26:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2017.26},
doi = {10.4230/LIPICS.ECOOP.2017.26},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/VollmerSCSK0TN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/Tobin-Hochstadt17,
author = {Sam Tobin{-}Hochstadt and
Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Ben Greenman and
Andrew M. Kent and
Vincent St{-}Amour and
T. Stephen Strickland and
Asumu Takikawa},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {Migratory Typing: Ten Years Later},
booktitle = {2nd Summit on Advances in Programming Languages, {SNAPL} 2017, May
7-10, 2017, Asilomar, CA, {USA}},
series = {LIPIcs},
volume = {71},
pages = {17:1--17:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2017.17},
doi = {10.4230/LIPICS.SNAPL.2017.17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snapl/Tobin-Hochstadt17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03620,
author = {Phuc C. Nguyen and
Thomas Gilray and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Soft Contract Verification for Higher-Order Stateful Programs},
journal = {CoRR},
volume = {abs/1711.03620},
year = {2017},
url = {http://arxiv.org/abs/1711.03620},
eprinttype = {arXiv},
eprint = {1711.03620},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SiekT16,
author = {Jeremy G. Siek and
Sam Tobin{-}Hochstadt},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {The Recursive Union of Some Gradual Types},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {388--410},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_21},
doi = {10.1007/978-3-319-30936-1\_21},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SiekT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Bonnaire-Sergeant16,
author = {Ambrose Bonnaire{-}Sergeant and
Rowan Davies and
Sam Tobin{-}Hochstadt},
editor = {Peter Thiemann},
title = {Practical Optional Types for Clojure},
booktitle = {Programming Languages and Systems - 25th European Symposium on Programming,
{ESOP} 2016, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands,
April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9632},
pages = {68--94},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49498-1\_4},
doi = {10.1007/978-3-662-49498-1\_4},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/esop/Bonnaire-Sergeant16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KentKT16,
author = {Andrew M. Kent and
David Kempe and
Sam Tobin{-}Hochstadt},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Occurrence typing modulo theories},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {296--309},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908091},
doi = {10.1145/2908080.2908091},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KentKT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/NewtonAFT16,
author = {Ryan R. Newton and
{\"{O}}mer S. Agacan and
Peter P. Fogg and
Sam Tobin{-}Hochstadt},
editor = {Rafael Asenjo and
Tim Harris},
title = {Parallel type-checking with haskell using saturating LVars and stream
generators},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
12-16, 2016},
pages = {6:1--6:12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2851141.2851142},
doi = {10.1145/2851141.2851142},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/NewtonAFT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TakikawaFDFFTF15,
author = {Asumu Takikawa and
Daniel Feltey and
Earl Dean and
Matthew Flatt and
Robert Bruce Findler and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {John Tang Boyland},
title = {Towards Practical Gradual Typing},
booktitle = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
July 5-10, 2015, Prague, Czech Republic},
series = {LIPIcs},
volume = {37},
pages = {4--27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.4},
doi = {10.4230/LIPICS.ECOOP.2015.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/TakikawaFDFFTF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SiekVCTG15,
author = {Jeremy G. Siek and
Michael M. Vitousek and
Matteo Cimini and
Sam Tobin{-}Hochstadt and
Ronald Garcia},
editor = {Jan Vitek},
title = {Monotonic References for Efficient Gradual Typing},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {432--456},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_18},
doi = {10.1007/978-3-662-46669-8\_18},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SiekVCTG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BaumanBHKPST15,
author = {Spenser Bauman and
Carl Friedrich Bolz and
Robert Hirschfeld and
Vasily Kirilichev and
Tobias Pape and
Jeremy G. Siek and
Sam Tobin{-}Hochstadt},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Pycket: a tracing {JIT} for a functional language},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {22--34},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784740},
doi = {10.1145/2784731.2784740},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BaumanBHKPST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwordsST15,
author = {Cameron Swords and
Amr Sabry and
Sam Tobin{-}Hochstadt},
editor = {Kathleen Fisher and
John H. Reppy},
title = {Expressing contract monitors as patterns of communication},
booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2015, Vancouver, BC, Canada, September
1-3, 2015},
pages = {387--399},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2784731.2784742},
doi = {10.1145/2784731.2784742},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SwordsST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snapl/FelleisenFFKBMT15,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi and
Eli Barzilay and
Jay A. McCarthy and
Sam Tobin{-}Hochstadt},
editor = {Thomas Ball and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi and
Benjamin S. Lerner and
Greg Morrisett},
title = {The Racket Manifesto},
booktitle = {1st Summit on Advances in Programming Languages, {SNAPL} 2015, May
3-6, 2015, Asilomar, California, {USA}},
series = {LIPIcs},
volume = {32},
pages = {113--128},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2015.113},
doi = {10.4230/LIPICS.SNAPL.2015.113},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/FelleisenFFKBMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NguyenTH15,
author = {Phuc C. Nguyen and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Higher-order symbolic execution for contract verification and refutation},
journal = {CoRR},
volume = {abs/1507.04817},
year = {2015},
url = {http://arxiv.org/abs/1507.04817},
eprinttype = {arXiv},
eprint = {1507.04817},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NguyenTH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KentKT15,
author = {Andrew M. Kent and
David Kempe and
Sam Tobin{-}Hochstadt},
title = {Occurrence Typing Modulo Theories},
journal = {CoRR},
volume = {abs/1511.07033},
year = {2015},
url = {http://arxiv.org/abs/1511.07033},
eprinttype = {arXiv},
eprint = {1511.07033},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KentKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Garnock-JonesTF14,
author = {Tony Garnock{-}Jones and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Zhong Shao},
title = {The Network as a Language Construct},
booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming,
{ESOP} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8410},
pages = {473--492},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54833-8\_25},
doi = {10.1007/978-3-642-54833-8\_25},
timestamp = {Thu, 14 Oct 2021 10:31:33 +0200},
biburl = {https://dblp.org/rec/conf/esop/Garnock-JonesTF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NguyenTH14,
author = {Phuc C. Nguyen and
Sam Tobin{-}Hochstadt and
David Van Horn},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Soft contract verification},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {139--152},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628156},
doi = {10.1145/2628136.2628156},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NguyenTH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KuperTTN14,
author = {Lindsey Kuper and
Aaron Todd and
Sam Tobin{-}Hochstadt and
Ryan R. Newton},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Taming the parallel effect zoo: extensible deterministic parallelism
with LVish},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {2--14},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594312},
doi = {10.1145/2594291.2594312},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KuperTTN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2014,
editor = {Sam Tobin{-}Hochstadt},
title = {Proceedings of the 26th 2014 International Symposium on Implementation
and Application of Functional Languages, {IFL} '14, Boston, MA, USA,
October 1-3, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2746325},
isbn = {978-1-4503-3284-2},
timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/els/Tobin-Hochstadt13,
author = {Sam Tobin{-}Hochstadt},
editor = {Christian Queinnec and
Manuel Serrano},
title = {Tutorial: Typed Racket},
booktitle = {Proceedings of {ELS} 2013 - 6th European Lisp Symposium, Madrid, Spain,
June 3-4, 2013},
pages = {26},
publisher = {{ELSAA}},
year = {2013},
url = {https://european-lisp-symposium.org/static/proceedings/2013.pdf\#page=32},
timestamp = {Thu, 14 Nov 2019 17:08:10 +0100},
biburl = {https://dblp.org/rec/conf/els/Tobin-Hochstadt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/TakikawaST13,
author = {Asumu Takikawa and
T. Stephen Strickland and
Sam Tobin{-}Hochstadt},
editor = {Matthias Felleisen and
Philippa Gardner},
title = {Constraining Delimited Control with Contracts},
booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
{ESOP} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {229--248},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37036-6\_14},
doi = {10.1007/978-3-642-37036-6\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/TakikawaST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Tobin-HochstadtH13,
author = {Sam Tobin{-}Hochstadt and
David Van Horn},
editor = {Philip K. F. H{\"{o}}lzenspies},
title = {From Principles to Practice with Class in the First Year},
booktitle = {Proceedings Second Workshop on Trends in Functional Programming In
Education, {TFPIE} 2013, Provo, Utah, USA, 13th May 2013},
series = {{EPTCS}},
volume = {136},
pages = {1--15},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.136.1},
doi = {10.4204/EPTCS.136.1},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Tobin-HochstadtH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NguyenTH13,
author = {Phuc C. Nguyen and
Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Static Contract Checking for Scripting Languages},
journal = {CoRR},
volume = {abs/1307.6239},
year = {2013},
url = {http://arxiv.org/abs/1307.6239},
eprinttype = {arXiv},
eprint = {1307.6239},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NguyenTH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DimoulasTF12,
author = {Christos Dimoulas and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Helmut Seidl},
title = {Complete Monitors for Behavioral Contracts},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {214--233},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_11},
doi = {10.1007/978-3-642-28869-2\_11},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DimoulasTF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/St-AmourTF12,
author = {Vincent St{-}Amour and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Optimization coaching: optimizers learn to communicate with programmers},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {163--178},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384629},
doi = {10.1145/2384616.2384629},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/St-AmourTF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Tobin-HochstadtH12,
author = {Sam Tobin{-}Hochstadt and
David Van Horn},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Higher-order symbolic execution via contracts},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {537--554},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384655},
doi = {10.1145/2384616.2384655},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Tobin-HochstadtH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/TakikawaSDTF12,
author = {Asumu Takikawa and
T. Stephen Strickland and
Christos Dimoulas and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Gradual typing for first-class classes},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {793--810},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384674},
doi = {10.1145/2384616.2384674},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/TakikawaSDTF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/StricklandTFF12,
author = {T. Stephen Strickland and
Sam Tobin{-}Hochstadt and
Robert Bruce Findler and
Matthew Flatt},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Chaperones and impersonators: run-time support for reasonable interposition},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {943--962},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384685},
doi = {10.1145/2384616.2384685},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/StricklandTFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/St-AmourTFF12,
author = {Vincent St{-}Amour and
Sam Tobin{-}Hochstadt and
Matthew Flatt and
Matthias Felleisen},
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {Typing the Numeric Tower},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
pages = {289--303},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_21},
doi = {10.1007/978-3-642-27694-1\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/St-AmourTFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KleinCDEFFMRTF12,
author = {Casey Klein and
John Clements and
Christos Dimoulas and
Carl Eastlund and
Matthias Felleisen and
Matthew Flatt and
Jay A. McCarthy and
Jon Rafkind and
Sam Tobin{-}Hochstadt and
Robert Bruce Findler},
editor = {John Field and
Michael Hicks},
title = {Run your research: on the effectiveness of lightweight mechanization},
booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
USA, January 22-28, 2012},
pages = {285--296},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103656.2103691},
doi = {10.1145/2103656.2103691},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/KleinCDEFFMRTF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Tobin-HochstadtSCFF11,
author = {Sam Tobin{-}Hochstadt and
Vincent St{-}Amour and
Ryan Culpepper and
Matthew Flatt and
Matthias Felleisen},
editor = {Mary W. Hall and
David A. Padua},
title = {Languages as libraries},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {132--141},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993514},
doi = {10.1145/1993498.1993514},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Tobin-HochstadtSCFF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-1362,
author = {Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Modular Analysis via Specifications as Values},
journal = {CoRR},
volume = {abs/1103.1362},
year = {2011},
url = {http://arxiv.org/abs/1103.1362},
eprinttype = {arXiv},
eprint = {1103.1362},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-1362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-0106,
author = {Sam Tobin{-}Hochstadt and
David Van Horn},
title = {Semantic Solutions to Program Analysis Problems},
journal = {CoRR},
volume = {abs/1105.0106},
year = {2011},
url = {http://arxiv.org/abs/1105.0106},
eprinttype = {arXiv},
eprint = {1105.0106},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-0106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-2575,
author = {Sam Tobin{-}Hochstadt and
Matthias Felleisen},
title = {The Design and Implementation of Typed Scheme: From Scripts to Programs},
journal = {CoRR},
volume = {abs/1106.2575},
year = {2011},
url = {http://arxiv.org/abs/1106.2575},
eprinttype = {arXiv},
eprint = {1106.2575},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-2575.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-2578,
author = {Sam Tobin{-}Hochstadt},
title = {Extensible Pattern Matching in an Extensible Language},
journal = {CoRR},
volume = {abs/1106.2578},
year = {2011},
url = {http://arxiv.org/abs/1106.2578},
eprinttype = {arXiv},
eprint = {1106.2578},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-2578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Tobin-HochstadtF10,
author = {Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Logical types for untyped languages},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {117--128},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863561},
doi = {10.1145/1863543.1863561},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Tobin-HochstadtF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Tobin-Hochstadt09,
author = {Sam Tobin{-}Hochstadt and
Robert Bruce Findler},
editor = {Tobias Wrigstad and
Nate Nystrom and
Jan Vitek},
title = {Cycles without pollution: a gradual typing poem},
booktitle = {Proceedings for the 1st workshop on Script to Program Evolution, {STOP}
'09, Genova, Italy, July 6, 2009},
pages = {47--57},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1570506.1570512},
doi = {10.1145/1570506.1570512},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/Tobin-Hochstadt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/StricklandTF09,
author = {T. Stephen Strickland and
Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Giuseppe Castagna},
title = {Practical Variable-Arity Polymorphism},
booktitle = {Programming Languages and Systems, 18th European Symposium on Programming,
{ESOP} 2009, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5502},
pages = {32--46},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00590-9\_3},
doi = {10.1007/978-3-642-00590-9\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/StricklandTF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Tobin-HochstadtF08,
author = {Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {George C. Necula and
Philip Wadler},
title = {The design and implementation of typed scheme},
booktitle = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2008, San Francisco, California,
USA, January 7-12, 2008},
pages = {395--406},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328438.1328486},
doi = {10.1145/1328438.1328486},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Tobin-HochstadtF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Tobin-HochstadtF06,
author = {Sam Tobin{-}Hochstadt and
Matthias Felleisen},
editor = {Peri L. Tarr and
William R. Cook},
title = {Interlanguage migration: from scripts to programs},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {964--974},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176755},
doi = {10.1145/1176617.1176755},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Tobin-HochstadtF06.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.
last updated on 2024-04-25 05:54 CEST 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:
