Travelled to:1 × USA
Collaborated with:R.B.Findler S.You J.A.Tov B.Fetscher M.Flatt W.H.Temps T.Kiguradze D.P.West C.Niznik P.R.Yarnold S.M.Belknap
Talks about:can (4) no (2) prescript (1) calculus (1) program (1) patient (1) languag (1) esterel (1) orient (1) pop (1)
Person: Spencer P. Florence
DBLP: Florence:Spencer_P=
Contributed to:
2015
2019Wrote 2 papers:
- 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.
- POPL-2019-FlorenceYTF #calculus
- A calculus for Esterel: if can, can. if no can, no can (SPF, SHY, JAT, RBF), p. 29.