Travelled to:1 × Canada
1 × Germany
1 × United Kingdom
Collaborated with:B.C.Pierce M.Y.Levin A.Schmitt
Talks about:represent (1) function (1) regular (1) xtatic (1) subtyp (1) reveal (1) recurs (1) object (1) pearl (1) nativ (1)
Person: Vladimir Gapeyev
DBLP: Gapeyev:Vladimir
Contributed to:
2005
2003
2000Wrote 3 papers:
- CC-2005-GapeyevLPS #runtime #xml
- XML Goes Native: Run-Time Representations for Xtatic (VG, MYL, BCP, AS), pp. 43–58.
- ECOOP-2003-GapeyevP
- Regular Object Types (VG, BCP), pp. 151–175.
- ICFP-2000-GapeyevLP #functional #recursion #type system
- Recursive subtyping revealed: functional pearl (VG, MYL, BCP), pp. 221–231.