Travelled to:1 × USA
Collaborated with:∅ A.Mycroft K.C.Sivaramakrishnan A.Madhavapeddy
Talks about:polymorph (1) function (1) algebra (1) subtyp (1) linear (1) space (1) semir (1) pearl (1) infer (1) bound (1)
Person: Stephen Dolan
DBLP: Dolan:Stephen
Contributed to:
2013
2017
2018Wrote 3 papers:
- ICFP-2013-Dolan #algebra #functional #linear #using
- Fun with semirings: a functional pearl on the abuse of linear algebra (SD), pp. 101–110.
- POPL-2017-DolanM #morphism #polymorphism #type inference #type system
- Polymorphism, subtyping, and type inference in MLsub (SD, AM), pp. 60–72.
- PLDI-2018-DolanSM #bound
- Bounding data races in space and time (SD, KCS, AM), pp. 242–255.