Operational Semantics for Multi-Language Programs
MATTHEWS, Jacob, FINDLER, Robert Bruce
Published in ACM transactions on programming languages and systems (01.04.2009)
Published in ACM transactions on programming languages and systems (01.04.2009)
Get full text
Journal Article
The structure and interpretation of the computer science curriculum
FELLEISEN, MATTHIAS, FINDLER, ROBERT BRUCE, FLATT, MATTHEW, KRISHNAMURTHI, SHRIRAM
Published in Journal of functional programming (01.07.2004)
Published in Journal of functional programming (01.07.2004)
Get full text
Journal Article
A Coq library for internal verification of running-times
McCarthy, Jay, Fetscher, Burke, New, Max S., Feltey, Daniel, Findler, Robert Bruce
Published in Science of computer programming (15.10.2018)
Published in Science of computer programming (15.10.2018)
Get full text
Journal Article
Fair enumeration combinators
NEW, MAX S., FETSCHER, BURKE, FINDLER, ROBERT BRUCE, MCCARTHY, JAY
Published in Journal of functional programming (01.01.2017)
Published in Journal of functional programming (01.01.2017)
Get full text
Journal Article
Collapsible contracts: fixing a pathology of gradual typing
Feltey, Daniel, Greenman, Ben, Scholliers, Christophe, Findler, Robert Bruce, St-Amour, Vincent
Published in Proceedings of ACM on programming languages (01.11.2018)
Published in Proceedings of ACM on programming languages (01.11.2018)
Get full text
Journal Article
Rhombus: A New Spin on Macros without All the Parentheses
Flatt, Matthew, Allred, Taylor, Angle, Nia, De Gabrielle, Stephen, Findler, Robert Bruce, Firth, Jack, Gopinathan, Kiran, Greenman, Ben, Kasivajhula, Siddhartha, Knauth, Alex, McCarthy, Jay, Phillips, Sam, Porncharoenwase, Sorawee, Søgaard, Jens Axel, Tobin-Hochstadt, Sam
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article
Does blame shifting work?
Lazarek, Lukas, King, Alexis, Sundar, Samanvitha, Findler, Robert Bruce, Dimoulas, Christos
Published in Proceedings of ACM on programming languages (01.01.2020)
Published in Proceedings of ACM on programming languages (01.01.2020)
Get full text
Journal Article
A calculus for Esterel: if can, can. if no can, no can
Florence, Spencer P., You, Shu-Hung, Tov, Jesse A., Findler, Robert Bruce
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
POP-PL: A Patient-Oriented Prescription Programming Language
Florence, Spencer P., Fetscher, Burke, Flatt, Matthew, Temps, William H., St-Amour, Vincent, Kiguradze, Tina, West, Dennis P., Niznik, Charlotte, Yarnold, Paul R., Findler, Robert Bruce, Belknap, Steven M.
Published in ACM transactions on programming languages and systems (01.08.2018)
Published in ACM transactions on programming languages and systems (01.08.2018)
Get full text
Journal Article
The Racket virtual machine and randomized testing
Klein, Casey, Flatt, Matthew, Findler, Robert Bruce
Published in Higher-Order and Symbolic Computation (01.12.2012)
Published in Higher-Order and Symbolic Computation (01.12.2012)
Get full text
Journal Article