Travelled to:1 × USA
1 × United Kingdom
Collaborated with:R.B.Findler K.Claessen M.H.Palka J.Hughes S.P.Florence M.Flatt W.H.Temps T.Kiguradze D.P.West C.Niznik P.R.Yarnold S.M.Belknap
Talks about:type (2) prescript (1) judgment (1) program (1) patient (1) languag (1) generat (1) definit (1) automat (1) system (1)
Person: Burke Fetscher
DBLP: Fetscher:Burke
Contributed to:
2015
2015Wrote 2 papers:
- ESOP-2015-FetscherCPHF #automation #generative #random #type system
- Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
- GPCE-2015-FlorenceFFTKWNY #named #programming language
- POP-PL: a patient-oriented prescription programming language (SPF, BF, MF, WHT, TK, DPW, CN, PRY, RBF, SMB), pp. 131–140.