Burke Fetscher

According to our database, Burke Fetscher authored at least 6 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

POP-PL: A Patient-Oriented Prescription Programming Language.

Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Vincent St-Amour, Tina Kiguradze, Dennis P. West, Charlotte Niznik, Paul R. Yarnold, Robert Bruce Findler, Steven M. Belknap

ACM Trans. Program. Lang. Syst., 2018

A Coq library for internal verification of running-times.

Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler

Sci. Comput. Program., 2018

2017

Fair enumeration combinators.

Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy

J. Funct. Program., 2017

2015

POP-PL: a patient-oriented prescription programming language.

Spencer P. Florence, Burke Fetscher, Matthew Flatt, William H. Temps, Tina Kiguradze, Dennis P. West, Charlotte Niznik, Paul R. Yarnold, Robert Bruce Findler, Steven M. Belknap

Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System.

Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler

Proceedings of the Programming Languages and Systems, 2015

2012

Seeing the futures: profiling shared-memory parallel racket.

James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012