SPLASH 2012 (series) / C.-H. Luke Ong
Registered user since Thu 8 Oct 2015
Name:C.-H. Luke Ong
Country:United Kingdom
Affiliation:University of Oxford
Personal website:http://www.cs.ox.ac.uk/people/luke.ong/personal
Research interests:Semantics of Computation; Game Semantics; Verification and Higher-Order Model Checking; Lambda Calculus and Type Theory
Contributions
| AGERE 2012 | Soter: an automatic safety verifier for erlang | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile