Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Fahad Ausaf
King's College London
Verified email at kcl.ac.uk
Cited by 17
Programming Languages Design
Lexing and Parsing
Theorem Proving
Functional Programming
Privacy
Terms
Help
About Scholar
Search help