Registered user since Sat 18 Jun 2016
Name:Bashar Igried Deb Alkhawaldeh
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