Travelled to:
1 × Austria
1 × Italy
Collaborated with:
A.Setzer A.Abel B.Pientka
Talks about:
copattern (2) structur (1) program (1) infinit (1) unnest (1) observ (1)
Person: David Thibodeau
DBLP: Thibodeau:David
Contributed to:
Wrote 2 papers:
- RTA-TLCA-2014-Setzer0PT #pattern matching
- Unnesting of Copatterns (AS, AA, BP, DT), pp. 31–45.
- POPL-2013-AbelPTS #infinity #named #pattern matching #programming
- Copatterns: programming infinite structures by observations (AA, BP, DT, AS), pp. 27–38.