Travelled to:1 × Portugal
Collaborated with:J.S.Foster J.Toman T.S.Strickland
Talks about:type (2) languag (1) checker (1) static (1) dynam (1) check (1) time (1) rubi (1) just (1)
Person: Brianna M. Ren
DBLP: Ren:Brianna_M=
Contributed to:
2013
2016Wrote 2 papers:
- SAC-2013-RenTSF #ruby
- The ruby type checker (BMR, JT, TSS, JSF), pp. 1565–1572.
- PLDI-2016-RenF #static typing #type checking
- Just-in-time static type checking for dynamic languages (BMR, JSF), pp. 462–476.