Travelled to:
1 × USA
Collaborated with:
H.Boehm R.Cartwright M.J.O'Donnell
Talks about:
arithmet (1) program (1) higher (1) studi (1) order (1) exact (1) real (1) case (1)
Person: Mark Riggle
DBLP: Riggle:Mark
Contributed to:
Wrote 1 papers:
- LFP-1986-BoehmCRO #case study #higher-order #programming
- Exact Real Arithmetic: A Case Study in Higher Order Programming (HJB, RC, MR, MJO), pp. 162–173.