Liam O'Connor

Identifiers

No identifiers captured yet.

Papers (2)

1. Close Encounters of the Higher Kind Emulating Constructor Classes in Standard ML cs.PL · 2016 · author #2
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