Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matthew Flatt
@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}
}
@inproceedings{DBLP:conf/dls/TorosyanZF21,
author = {Sona Torosyan and
Jon Zeppieri and
Matthew Flatt},
editor = {Arjun Guha},
title = {Runtime and compiler support for HAMTs},
booktitle = {{DLS} 2021: Proceedings of the 17th {ACM} {SIGPLAN} International
Symposium on Dynamic Languages, Virtual Event / Chicago, IL, USA,
October 19, 2021},
pages = {48--59},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486602.3486931},
doi = {10.1145/3486602.3486931},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dls/TorosyanZF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Flatt20,
author = {Matthew Flatt},
editor = {Marc Feeley and
Juan Fumero},
title = {Racket's intermediate language for control (invited talk)},
booktitle = {VMIL@SPLASH 2020: Proceedings of the 12th {ACM} {SIGPLAN} International
Workshop on Virtual Machines and Intermediate Languages, Virtual Event,
USA, November 17, 2020},
pages = {1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3427765.3432352},
doi = {10.1145/3427765.3432352},
timestamp = {Thu, 09 Dec 2021 15:23:39 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Flatt20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlattD20,
author = {Matthew Flatt and
R. Kent Dybvig},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Compiler and runtime support for continuation marks},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {45--58},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385981},
doi = {10.1145/3385412.3385981},
timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlattD20.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}
}
@inproceedings{DBLP:conf/snapl/CulpepperFFK19,
author = {Ryan Culpepper and
Matthias Felleisen and
Matthew Flatt and
Shriram Krishnamurthi},
editor = {Benjamin S. Lerner and
Rastislav Bod{\'{\i}}k and
Shriram Krishnamurthi},
title = {From Macros to DSLs: The Evolution of Racket},
booktitle = {3rd Summit on Advances in Programming Languages, {SNAPL} 2019, May
16-17, 2019, Providence, RI, {USA}},
series = {LIPIcs},
volume = {136},
pages = {5:1--5:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.SNAPL.2019.5},
doi = {10.4230/LIPICS.SNAPL.2019.5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snapl/CulpepperFFK19.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/toplas/FlorenceFFTSKWN18,
author = {Spencer P. Florence and
Burke Fetscher and
Matthew Flatt and
William H. Temps and
Vincent St{-}Amour and
Tina Kiguradze and
Dennis P. West and
Charlotte Niznik and
Paul R. Yarnold and
Robert Bruce Findler and
Steven M. Belknap},
title = {{POP-PL:} {A} Patient-Oriented Prescription Programming Language},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {40},
number = {3},
pages = {10:1--10:37},
year = {2018},
url = {https://doi.org/10.1145/3210256},
doi = {10.1145/3210256},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/FlorenceFFTSKWN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HatchF18,
author = {William Gallard Hatch and
Matthew Flatt},
editor = {Eric Van Wyk and
Tiark Rompf},
title = {Rash: from reckless interactions to reliable programs},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston,
MA, USA, November 5-6, 2018},
pages = {28--39},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3278122.3278129},
doi = {10.1145/3278122.3278129},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/HatchF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/LiF17,
author = {Xiangqi Li and
Matthew Flatt},
editor = {Beno{\^{\i}}t Combemale and
Marjan Mernik and
Bernhard Rumpe},
title = {Debugging with domain-specific events via macros},
booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada,
October 23-24, 2017},
pages = {91--102},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136014.3136019},
doi = {10.1145/3136014.3136019},
timestamp = {Thu, 21 Apr 2022 11:12:19 +0200},
biburl = {https://dblp.org/rec/conf/sle/LiF17.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}
}
@proceedings{DBLP:conf/gpce/2017,
editor = {Matthew Flatt and
Sebastian Erdweg},
title = {Proceedings of the 16th {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2017, Vancouver,
BC, Canada, October 23-24, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3136040},
doi = {10.1145/3136040},
isbn = {978-1-4503-5524-7},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/FlattS16,
author = {Matthew Flatt and
Tijs van der Storm},
title = {Front Matter, Table of Contents, Preface, Artifact Evaluation Committee},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {00:--1--00:--10},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.0},
doi = {10.4230/DARTS.2.1.0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/FlattS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/els/HasuF16,
author = {Tero Hasu and
Matthew Flatt},
editor = {Ir{\`{e}}ne Durand},
title = {Source-to-Source Compilation via Submodules},
booktitle = {Proceedings of the 9th European Lisp Symposium {(ELS} 2016), Krak{\'{o}}w,
Poland, May 9-10, 2016},
pages = {57--64},
publisher = {{ELSAA}},
year = {2016},
url = {https://dl.acm.org/citation.cfm?id=3005736},
timestamp = {Wed, 13 Nov 2019 17:59:17 +0100},
biburl = {https://dblp.org/rec/conf/els/HasuF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MooreDFFC16,
author = {Scott Moore and
Christos Dimoulas and
Robert Bruce Findler and
Matthew Flatt and
Stephen Chong},
editor = {Eelco Visser and
Yannis Smaragdakis},
title = {Extensible access control with authorization contracts},
booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
Object-Oriented Programming, Systems, Languages, and Applications,
{OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
October 30 - November 4, 2016},
pages = {214--233},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983990.2984021},
doi = {10.1145/2983990.2984021},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/MooreDFFC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Flatt16,
author = {Matthew Flatt},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Binding as sets of scopes},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {705--717},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837620},
doi = {10.1145/2837614.2837620},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/Flatt16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/DemetrescuF15,
author = {Camil Demetrescu and
Matthew Flatt},
title = {Front Matter, Table of Contents},
journal = {Dagstuhl Artifacts Ser.},
volume = {1},
number = {1},
pages = {00:--1--00:--6},
year = {2015},
url = {https://doi.org/10.4230/DARTS.1.1.0},
doi = {10.4230/DARTS.1.1.0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/DemetrescuF15.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/gpce/FlorenceFFTKWNY15,
author = {Spencer P. Florence and
Burke Fetscher and
Matthew Flatt and
William H. Temps and
Tina Kiguradze and
Dennis P. West and
Charlotte Niznik and
Paul R. Yarnold and
Robert Bruce Findler and
Steven M. Belknap},
editor = {Christian K{\"{a}}stner and
Aniruddha S. Gokhale},
title = {{POP-PL:} a patient-oriented prescription programming language},
booktitle = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
Generative Programming: Concepts and Experiences, {GPCE} 2015, Pittsburgh,
PA, USA, October 26-27, 2015},
pages = {131--140},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814204.2814221},
doi = {10.1145/2814204.2814221},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/FlorenceFFTKWNY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiF15,
author = {Xiangqi Li and
Matthew Flatt},
editor = {Jonathan Edwards and
Richard P. Gabriel and
Alex Payne},
title = {Medic: metaprogramming and trace-oriented debugging},
booktitle = {Proceedings of the Workshop on Future Programming, FPW@SPLASH 2015,
Pittsburgh, PA, USA, October 26, 2015},
pages = {7--14},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2846656.2846658},
doi = {10.1145/2846656.2846658},
timestamp = {Tue, 06 Nov 2018 16:57:16 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/LiF15.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}
}
@proceedings{DBLP:conf/gpce/2014,
editor = {Ulrik Pagh Schultz and
Matthew Flatt},
title = {Generative Programming: Concepts and Experiences, GPCE'14, Vasteras,
Sweden, September 15-16, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2658761},
doi = {10.1145/2658761},
isbn = {978-1-4503-3161-6},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2014,
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8324},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2},
doi = {10.1007/978-3-319-04132-2},
isbn = {978-3-319-04131-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/Flatt13,
author = {Matthew Flatt},
editor = {Jaakko J{\"{a}}rvi and
Christian K{\"{a}}stner},
title = {Submodules in racket: you want it when, again?},
booktitle = {Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis,
IN, {USA} - October 27 - 28, 2013},
pages = {13--22},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517208.2517211},
doi = {10.1145/2517208.2517211},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/Flatt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/TewSFFD13,
author = {Kevin Tew and
James Swaine and
Matthew Flatt and
Robert Bruce Findler and
Peter A. Dinda},
editor = {Jay McCarthy},
title = {Distributed Places},
booktitle = {Trends in Functional Programming - 14th International Symposium, {TFP}
2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8322},
pages = {34--57},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45340-3\_3},
doi = {10.1007/978-3-642-45340-3\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/TewSFFD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Flatt12,
author = {Matthew Flatt},
title = {Creating languages in Racket},
journal = {Commun. {ACM}},
volume = {55},
number = {1},
pages = {48--56},
year = {2012},
url = {https://doi.org/10.1145/2063176.2063195},
doi = {10.1145/2063176.2063195},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Flatt12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FlattCDF12,
author = {Matthew Flatt and
Ryan Culpepper and
David Darais and
Robert Bruce Findler},
title = {Macros that Work Together - Compile-time bindings, partial expansion,
and definition contexts},
journal = {J. Funct. Program.},
volume = {22},
number = {2},
pages = {181--216},
year = {2012},
url = {https://doi.org/10.1017/S0956796812000093},
doi = {10.1017/S0956796812000093},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FlattCDF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/KleinFF12,
author = {Casey Klein and
Matthew Flatt and
Robert Bruce Findler},
title = {The Racket virtual machine and randomized testing},
journal = {High. Order Symb. Comput.},
volume = {25},
number = {2-4},
pages = {209--253},
year = {2012},
url = {https://doi.org/10.1007/s10990-013-9091-1},
doi = {10.1007/S10990-013-9091-1},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/KleinFF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/RafkindF12,
author = {Jon Rafkind and
Matthew Flatt},
editor = {Klaus Ostermann and
Walter Binder},
title = {Honu: syntactic extension for algebraic notation through enforestation},
booktitle = {Generative Programming and Component Engineering, GPCE'12, Dresden,
Germany, September 26-28, 2012},
pages = {122--131},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2371401.2371420},
doi = {10.1145/2371401.2371420},
timestamp = {Tue, 21 Mar 2023 21:01:36 +0100},
biburl = {https://dblp.org/rec/conf/gpce/RafkindF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SwaineFSFF12,
author = {James Swaine and
Burke Fetscher and
Vincent St{-}Amour and
Robert Bruce Findler and
Matthew Flatt},
editor = {Andrzej Filinski and
Clemens Grelck},
title = {Seeing the futures: profiling shared-memory parallel racket},
booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} workshop on Functional high-performance
computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012},
pages = {73--82},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364474.2364485},
doi = {10.1145/2364474.2364485},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/SwaineFSFF12.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/dls/TewSFFD11,
author = {Kevin Tew and
James Swaine and
Matthew Flatt and
Robert Bruce Findler and
Peter A. Dinda},
editor = {Theo D'Hondt},
title = {Places: adding message-passing parallelism to racket},
booktitle = {Proceedings of the 7th Symposium on Dynamic Languages, {DLS} 2011,
October 24, 2011, Portland, OR, {USA}},
pages = {85--96},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2047849.2047860},
doi = {10.1145/2047849.2047860},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/dls/TewSFFD11.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}
}
@book{DBLP:books/daglib/0028059,
author = {Michael Sperber and
R. Kent Dybvig and
Matthew Flatt and
Anton van Straaten and
Robert Bruce Findler and
Jacob Matthews},
title = {Revised6 Report on the Algorithmic Language Scheme},
publisher = {Cambridge University Press},
year = {2010},
isbn = {978-0-521-19399-3},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0028059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/AtkinsonFL10,
author = {Kevin Atkinson and
Matthew Flatt and
Gary Lindstrom},
editor = {Eelco Visser and
Jaakko J{\"{a}}rvi},
title = {{ABI} compatibility through a customizable language},
booktitle = {Generative Programming And Component Engineering, Proceedings of the
Ninth International Conference on Generative Programming and Component
Engineering, {GPCE} 2010, Eindhoven, The Netherlands, October 10-13,
2010},
pages = {147--156},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1868294.1868316},
doi = {10.1145/1868294.1868316},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/gpce/AtkinsonFL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KleinFF10,
author = {Casey Klein and
Matthew Flatt and
Robert Bruce Findler},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Random testing for higher-order, stateful programs},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {555--566},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869505},
doi = {10.1145/1869459.1869505},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KleinFF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SwaineTDFF10,
author = {James Swaine and
Kevin Tew and
Peter A. Dinda and
Robert Bruce Findler and
Matthew Flatt},
editor = {William R. Cook and
Siobh{\'{a}}n Clarke and
Martin C. Rinard},
title = {Back to the futures: incremental parallelization of existing sequential
runtime systems},
booktitle = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
pages = {583--597},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1869459.1869507},
doi = {10.1145/1869459.1869507},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SwaineTDFF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0023092,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt},
title = {Semantics Engineering with {PLT} Redex},
publisher = {{MIT} Press},
year = {2009},
url = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2\&\#38;tid=11885},
isbn = {978-0-262-06275-6},
timestamp = {Wed, 09 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0023092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FelleisenFFK09,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {A functional {I/O} system or, fun for freshman kids},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {47--58},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596561},
doi = {10.1145/1596550.1596561},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FelleisenFFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattBF09,
author = {Matthew Flatt and
Eli Barzilay and
Robert Bruce Findler},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Scribble: closing the book on ad hoc documentation tools},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {109--120},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596569},
doi = {10.1145/1596550.1596569},
timestamp = {Fri, 25 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FlattBF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/RafkindWRF09,
author = {Jon Rafkind and
Adam Wick and
John Regehr and
Matthew Flatt},
editor = {Hillel Kolodner and
Guy L. Steele Jr.},
title = {Precise garbage collection for {C}},
booktitle = {Proceedings of the 8th International Symposium on Memory Management,
{ISMM} 2009, Dublin, Ireland, June 19-20, 2009},
pages = {39--48},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542431.1542438},
doi = {10.1145/1542431.1542438},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/RafkindWRF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FlattP07,
author = {Matthew Flatt and
Benjamin C. Pierce},
title = {Preface},
journal = {J. Funct. Program.},
volume = {17},
number = {4-5},
pages = {431},
year = {2007},
url = {https://doi.org/10.1017/S0956796807006454},
doi = {10.1017/S0956796807006454},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FlattP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattYFF07,
author = {Matthew Flatt and
Gang Yu and
Robert Bruce Findler and
Matthias Felleisen},
editor = {Ralf Hinze and
Norman Ramsey},
title = {Adding delimited and composable control to a production programming
environment},
booktitle = {Proceedings of the 12th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2007, Freiburg, Germany, October 1-3,
2007},
pages = {165--176},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1291151.1291178},
doi = {10.1145/1291151.1291178},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FlattYFF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FindlerF06,
author = {Robert Bruce Findler and
Matthew Flatt},
title = {Slideshow: functional presentations},
journal = {J. Funct. Program.},
volume = {16},
number = {4-5},
pages = {583--619},
year = {2006},
url = {https://doi.org/10.1017/S0956796806006010},
doi = {10.1017/S0956796806006010},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/FindlerF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/FlattFF06,
author = {Matthew Flatt and
Robert Bruce Findler and
Matthias Felleisen},
editor = {Naoki Kobayashi},
title = {Scheme with Classes, Mixins, and Traits},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {270--289},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_17},
doi = {10.1007/11924661\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/FlattFF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OwensF06,
author = {Scott Owens and
Matthew Flatt},
editor = {John H. Reppy and
Julia Lawall},
title = {From structures and functors to modules and units},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
pages = {87--98},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803.1159815},
doi = {10.1145/1159803.1159815},
timestamp = {Mon, 17 Jan 2022 15:20:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/OwensF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jmlc/McDirmidHF06,
author = {Sean McDirmid and
Wilson C. Hsieh and
Matthew Flatt},
editor = {David E. Lightfoot and
Clemens A. Szyperski},
title = {A Framework for Modular Linking in {OO} Languages},
booktitle = {Modular Programming Languages, 7th Joint Modular Languages Conference,
{JMLC} 2006, Oxford, UK, September 13-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4228},
pages = {116--135},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11860990\_9},
doi = {10.1007/11860990\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jmlc/McDirmidHF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/CulpepperOF05,
author = {Ryan Culpepper and
Scott Owens and
Matthew Flatt},
editor = {Robert Gl{\"{u}}ck and
Michael R. Lowry},
title = {Syntactic Abstraction in Component Interfaces},
booktitle = {Generative Programming and Component Engineering, 4th International
Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3676},
pages = {373--388},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11561347\_25},
doi = {10.1007/11561347\_25},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/CulpepperOF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrayFF05,
author = {Kathryn E. Gray and
Robert Bruce Findler and
Matthew Flatt},
editor = {Ralph E. Johnson and
Richard P. Gabriel},
title = {Fine-grained interoperability through mirrors and contracts},
booktitle = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
October 16-20, 2005, San Diego, CA, {USA}},
pages = {231--245},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1094811.1094830},
doi = {10.1145/1094811.1094830},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GrayFF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csedu/FelleisenFFK04,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The TeachScheme! Project: Computing and Programming for Every Student},
journal = {Comput. Sci. Educ.},
volume = {14},
number = {1},
pages = {55--77},
year = {2004},
url = {https://doi.org/10.1076/csed.14.1.55.23499},
doi = {10.1076/CSED.14.1.55.23499},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csedu/FelleisenFFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FelleisenFFK04,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The structure and interpretation of the computer science curriculum},
journal = {J. Funct. Program.},
volume = {14},
number = {4},
pages = {365--378},
year = {2004},
url = {https://doi.org/10.1017/S0956796804005076},
doi = {10.1017/S0956796804005076},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FelleisenFFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/FindlerFF04,
author = {Robert Bruce Findler and
Matthew Flatt and
Matthias Felleisen},
editor = {Martin Odersky},
title = {Semantic Casts: Contracts and Structural Subtyping in a Nominal World},
booktitle = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
Oslo, Norway, June 14-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3086},
pages = {364--388},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24851-4\_17},
doi = {10.1007/978-3-540-24851-4\_17},
timestamp = {Sun, 02 Jun 2019 21:16:57 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/FindlerFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FindlerF04,
author = {Robert Bruce Findler and
Matthew Flatt},
editor = {Chris Okasaki and
Kathleen Fisher},
title = {Slideshow: functional presentations},
booktitle = {Proceedings of the Ninth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2004, Snow Bird, UT, USA, September
19-21, 2004},
pages = {224--235},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1016850.1016880},
doi = {10.1145/1016850.1016880},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FindlerF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/WickF04,
author = {Adam Wick and
Matthew Flatt},
editor = {David F. Bacon and
Amer Diwan},
title = {Memory accounting without partitions},
booktitle = {Proceedings of the 4th International Symposium on Memory Management,
{ISMM} 2004, Vancouver, BC, Canada, October 24-25, 2004},
pages = {120--130},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029873.1029888},
doi = {10.1145/1029873.1029888},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/WickF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GoldbergFF04,
author = {David S. Goldberg and
Robert Bruce Findler and
Matthew Flatt},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {Super and inner: together at last!},
booktitle = {Proceedings of the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {116--129},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028976.1028987},
doi = {10.1145/1028976.1028987},
timestamp = {Fri, 25 Jun 2021 14:51:50 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GoldbergFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlattF04,
author = {Matthew Flatt and
Robert Bruce Findler},
editor = {William W. Pugh and
Craig Chambers},
title = {Kill-safe synchronization abstractions},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2004 Conference on Programming
Language Design and Implementation 2004, Washington, DC, USA, June
9-11, 2004},
pages = {47--58},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/996841.996849},
doi = {10.1145/996841.996849},
timestamp = {Mon, 04 Apr 2022 21:23:55 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlattF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/MatthewsFFF04,
author = {Jacob Matthews and
Robert Bruce Findler and
Matthew Flatt and
Matthias Felleisen},
editor = {Vincent van Oostrom},
title = {A Visual Environment for Developing Context-Sensitive Term Rewriting
Systems},
booktitle = {Rewriting Techniques and Applications, 15th International Conference,
{RTA} 2004, Aachen, Germany, June 3-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3091},
pages = {301--311},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25979-4\_21},
doi = {10.1007/978-3-540-25979-4\_21},
timestamp = {Mon, 16 Sep 2019 15:32:17 +0200},
biburl = {https://dblp.org/rec/conf/rta/MatthewsFFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GrayF03,
author = {Kathryn E. Gray and
Matthew Flatt},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {ProfessorJ: a gradual introduction to Java through language levels},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {170--177},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949394},
doi = {10.1145/949344.949394},
timestamp = {Fri, 25 Jun 2021 17:20:20 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GrayF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/RoyAFM03,
author = {Peter Van Roy and
Joe Armstrong and
Matthew Flatt and
Boris Magnusson},
editor = {Scott Grissom and
Deborah Knox and
Daniel T. Joyce and
Wanda P. Dann},
title = {The role of language paradigms in teaching programming},
booktitle = {Proceedings of the 34th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2003, Reno, Nevada, USA, February 19-23, 2003},
pages = {269--270},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/611892.611908},
doi = {10.1145/611892.611908},
timestamp = {Thu, 10 Jun 2021 16:43:03 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/RoyAFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/FindlerCFFKSF02,
author = {Robert Bruce Findler and
John Clements and
Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Paul Steckler and
Matthias Felleisen},
title = {DrScheme: a programming environment for Scheme},
journal = {J. Funct. Program.},
volume = {12},
number = {2},
pages = {159--182},
year = {2002},
url = {https://doi.org/10.1017/S0956796801004208},
doi = {10.1017/S0956796801004208},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/FindlerCFFKSF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Flatt02,
author = {Matthew Flatt},
editor = {Mitchell Wand and
Simon L. Peyton Jones},
title = {Composable and compilable macros: : you want it when?},
booktitle = {Proceedings of the Seventh {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '02), Pittsburgh, Pennsylvania,
USA, October 4-6, 2002},
pages = {72--83},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581478.581486},
doi = {10.1145/581478.581486},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Flatt02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/ClementsFF01,
author = {John Clements and
Matthew Flatt and
Matthias Felleisen},
editor = {David Sands},
title = {Modeling an Algebraic Stepper},
booktitle = {Programming Languages and Systems, 10th European Symposium on Programming,
{ESOP} 2001 Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {320--334},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_21},
doi = {10.1007/3-540-45309-1\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/ClementsFF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/McDirmidFH01,
author = {Sean McDirmid and
Matthew Flatt and
Wilson C. Hsieh},
editor = {Linda M. Northrop and
John M. Vlissides},
title = {Jiazzi: New-Age Components for Old-Fashioned Java},
booktitle = {Proceedings of the 2001 {ACM} {SIGPLAN} Conference on Object-Oriented
Programming Systems, Languages and Applications, {OOPSLA} 2001, Tampa,
Florida, USA, October 14-18, 2001},
pages = {211--222},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/504282.504298},
doi = {10.1145/504282.504298},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/McDirmidFH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ReidFSLE00,
author = {Alastair Reid and
Matthew Flatt and
Leigh Stoller and
Jay Lepreau and
Eric Eide},
editor = {Michael B. Jones and
M. Frans Kaashoek},
title = {Knit: Component Composition for Systems Software},
booktitle = {4th Symposium on Operating System Design and Implementation {(OSDI}
2000), San Diego, California, USA, October 23-25, 2000},
pages = {347--360},
publisher = {{USENIX} Association},
year = {2000},
url = {http://dl.acm.org/citation.cfm?id=1251253},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/ReidFSLE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FlattFKF99,
author = {Matthew Flatt and
Robert Bruce Findler and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Didier R{\'{e}}my and
Peter Lee},
title = {Programming Languages as Operating Systems (or Revenge of the Son
of the Lisp Machine)},
booktitle = {Proceedings of the fourth {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '99), Paris, France, September 27-29,
1999},
pages = {138--147},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/317636.317793},
doi = {10.1145/317636.317793},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/FlattFKF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/java/FlattKF99,
author = {Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Jim Alves{-}Foss},
title = {A Programmer's Reduction Semantics for Classes and Mixins},
booktitle = {Formal Syntax and Semantics of Java},
series = {Lecture Notes in Computer Science},
volume = {1523},
pages = {241--269},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48737-9\_7},
doi = {10.1007/3-540-48737-9\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/java/FlattKF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/FelleisenFFK98,
author = {Matthias Felleisen and
Robert Bruce Findler and
Matthew Flatt and
Shriram Krishnamurthi},
title = {The DrScheme Project: An Overview},
journal = {{ACM} {SIGPLAN} Notices},
volume = {33},
number = {6},
pages = {17--23},
year = {1998},
url = {https://doi.org/10.1145/284563.284566},
doi = {10.1145/284563.284566},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/FelleisenFFK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/FindlerF98,
author = {Robert Bruce Findler and
Matthew Flatt},
editor = {Matthias Felleisen and
Paul Hudak and
Christian Queinnec},
title = {Modular Object-Oriented Programming with Units and Mixins},
booktitle = {Proceedings of the third {ACM} {SIGPLAN} International Conference
on Functional Programming {(ICFP} '98), Baltimore, Maryland, USA,
September 27-29, 1998},
pages = {94--104},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/289423.289432},
doi = {10.1145/289423.289432},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/icfp/FindlerF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlattF98,
author = {Matthew Flatt and
Matthias Felleisen},
editor = {Jack W. Davidson and
Keith D. Cooper and
A. Michael Berman},
title = {Units: Cool Modules for {HOT} Languages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} '98 Conference on Programming Language
Design and Implementation (PLDI), Montreal, Canada, June 17-19, 1998},
pages = {236--248},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/277650.277730},
doi = {10.1145/277650.277730},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/FlattF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FlattKF98,
author = {Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Classes and Mixins},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {171--183},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268961},
doi = {10.1145/268946.268961},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FlattKF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FindlerFFKF97,
author = {Robert Bruce Findler and
Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Matthias Felleisen},
editor = {Hugh Glaser and
Pieter H. Hartel and
Herbert Kuchen},
title = {DrScheme: {A} Pedagogic Programming Environment for Scheme},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th
International Symposium, PLILP'97, Including a Special Trach on Declarative
Programming Languages in Education, Southampton, UK, September 3-5,
1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1292},
pages = {369--388},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0033856},
doi = {10.1007/BFB0033856},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/FindlerFFKF97.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 13:29:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FlattF97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FlanaganFKWF96,
author = {Cormac Flanagan and
Matthew Flatt and
Shriram Krishnamurthi and
Stephanie Weirich and
Matthias Felleisen},
editor = {Charles N. Fischer},
title = {Static Debugging: Browsing the Web of Program Invariants},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {23--32},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231387},
doi = {10.1145/231379.231387},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FlanaganFKWF96.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 2023-12-12 20:57 CET 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:
