Registered user since Tue 16 May 2017
Name:Kyle Headley
Contributions
| Off the Beaten Track 2016 | Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2016-profile
View general profile
View general profile