Liam O'Connor
Identifiers
No identifiers captured yet.
Papers (2)
- Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML cs.PL · 2016 · author #2
- COGENT: Certified Compilation for a Functional Systems Language cs.PL · 2016 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Yutaka Nagashima 2 shared papers
- Alex Hixon 1 shared papers
- Christine Rizkallah 1 shared papers
- Gabriele Keller 1 shared papers
- Gerwin Klein 1 shared papers
- Japheth Lim 1 shared papers
- Sidney Amani 1 shared papers
- Thomas Sewell 1 shared papers
- Toby Murray 1 shared papers
- Zilin Chen 1 shared papers