Travelled to:
1 × Austria
3 × USA
Collaborated with:
J.S.Foster J.(.An M.W.Hicks
Talks about:
type (4) static (2) infer (2) polymorph (1) function (1) languag (1) foreign (1) script (1) safeti (1) profil (1)
Person: Michael Furr
DBLP: Furr:Michael
Contributed to:
Wrote 4 papers:
- OOPSLA-2009-FurrAF #scripting language #static typing #type system
- Profile-guided static typing for dynamic scripting languages (MF, Jh(A, JSF), pp. 283–300.
- SAC-2009-FurrAFH #ruby #static typing #type inference
- Static type inference for Ruby (MF, Jh(A, JSF, MWH), pp. 1859–1866.
- ESOP-2006-FurrF #polymorphism #type inference
- Polymorphic Type Inference for the JNI (MF, JSF), pp. 309–324.
- PLDI-2005-FurrF #type safety
- Checking type safety of foreign function calls (MF, JSF), pp. 62–72.