![Craig McLaughlin](https://icfp23.sigplan.org/getProfileImage/craigmclaughlin1/55cfc3f8-77a5-4e79-a1cd-309889e70477/small.jpg?1711784649000)
Registered user since Thu 23 Feb 2023
Name:Craig McLaughlin
Country:Australia
Affiliation:UNSW Sydney
Personal website: https://cmcl.github.io
Research interests:Programming Languages, Formal Verification, Operating Systems, Type Theory, Compilers, Proof Assistants
Contributions
ICFP 2023-profile
View general profile
View general profile