Collaborated with:
Matthew Noonan A.Loginov
Talks about:
polymorph (1) machin (1) infer (1) type (1) code (1)
Person: David Cok
DBLP: Cok:David
Contributed to:
Wrote 1 papers:
- PLDI-2016-NoonanLC #polymorphism #type inference
- Polymorphic type inference for machine code (MN, AL, DC), pp. 27–41.