Registered user since Sat 20 Aug 2016
Name:Anton Setzer
Contributions
TyDe 2016 | Programming with Monadic CSP-Style Processes in Dependent Type Theory | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2016-profile
View general profile
View general profile
Registered user since Sat 20 Aug 2016
Contributions
TyDe 2016 | Programming with Monadic CSP-Style Processes in Dependent Type Theory | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |