Travelled to:1 × Denmark
Collaborated with:∅
Talks about:procedur (1) principl (1) painless (1) program (1) languag (1) search (1) reduct (1) design (1) combin (1) level (1)
Person: Timothy E. Sheard
DBLP: Sheard:Timothy_E=
Contributed to:
2012Wrote 1 papers:
- ICFP-2012-Sheard #design #programming #reduction
- Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages (TES), pp. 89–102.