Travelled to:2 × USA
Collaborated with:D.Dreyer S.L.P.Jones S.Marlow E.E.Allen J.Hilburn V.Luchangco S.Ryu D.Chase G.L.S.Jr.
Talks about:multipl (2) polymorph (1) retrofit (1) parametr (1) interfac (1) dispatch (1) backpack (1) modular (1) inherit (1) haskel (1)
Person: Scott Kilpatrick
DBLP: Kilpatrick:Scott
Contributed to:
2014
2011Wrote 2 papers:
- POPL-2014-KilpatrickDJM #haskell #interface #named
- Backpack: retrofitting Haskell with interfaces (SK, DD, SLPJ, SM), pp. 19–32.
- OOPSLA-2011-AllenHKLRCS #composition #inheritance #morphism #multi #parametricity #polymorphism #type checking
- Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance (EEA, JH, SK, VL, SR, DC, GLSJ), pp. 973–992.