Burke Fetscher

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 4

Top Topics

Programming Language

Automatically Generating

Denotational Semantics

Top Venues

J. Funct. Program.

Sci. Comput. Program.

Publications

Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq library for internal verification of running-times. Sci. Comput. Program. 164 (2018)
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
POP-PL: A Patient-Oriented Prescription Programming Language. ACM Trans. Program. Lang. Syst. 40 (3) (2018)
Max S. New, Burke Fetscher, Robert Bruce Findler, Jay A. McCarthy
Fair enumeration combinators. J. Funct. Program. 27 (2017)
Jay A. McCarthy, Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler
A Coq Library for Internal Verification of Running-Times. FLOPS (2016)
Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP (2015)
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
POP-PL: a patient-oriented prescription programming language. GPCE (2015)
James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt
Seeing the futures: profiling shared-memory parallel racket. FHPC@ICFP (2012)