Travelled to:
1 × Italy
1 × Portugal
1 × USA
1 × United Kingdom
Collaborated with:
S.Tobin-Hochstadt A.Takikawa M.Felleisen B.M.Ren J.Toman J.S.Foster R.B.Findler M.Flatt C.Dimoulas
Talks about:
class (2) type (2) interposit (1) polymorph (1) constrain (1) imperson (1) contract (1) chaperon (1) variabl (1) support (1)
Person: T. Stephen Strickland
DBLP: Strickland:T=_Stephen
Contributed to:
Wrote 5 papers:
- ESOP-2013-TakikawaST #contract
- Constraining Delimited Control with Contracts (AT, TSS, STH), pp. 229–248.
- SAC-2013-RenTSF #ruby
- The ruby type checker (BMR, JT, TSS, JSF), pp. 1565–1572.
- OOPSLA-2012-StricklandTFF #runtime
- Chaperones and impersonators: run-time support for reasonable interposition (TSS, STH, RBF, MF), pp. 943–962.
- OOPSLA-2012-TakikawaSDTF #type system
- Gradual typing for first-class classes (AT, TSS, CD, STH, MF), pp. 793–810.
- ESOP-2009-StricklandTF #morphism #polymorphism
- Practical Variable-Arity Polymorphism (TSS, STH, MF), pp. 32–46.