Travelled to:1 × United Kingdom
3 × USA
Collaborated with:E.Meijer S.L.P.Jones J.Launchbury T.Sheard J.R.Lewis A.P.Tolmach W.O.Beeman K.T.Anderson G.Bader J.Larkin A.P.McClard P.McQuillan
Talks about:type (4) lineal (2) dynam (2) intermedi (1) hypertext (1) implicit (1) paramet (1) languag (1) static (1) plural (1)
Person: Mark Shields
DBLP: Shields:Mark
Contributed to:
200120001998
1987Wrote 5 papers:
- POPL-2001-ShieldsM
- Type-indexed rows (MS, EM), pp. 261–275.
- POPL-2000-LewisLMS #parametricity #static typing
- Implicit Parameters: Dynamic Scoping with Static Types (JRL, JL, EM, MS), pp. 108–118.
- POPL-1998-JonesSLT #haskell #ml
- Bridging the Gulf: A Common Intermediate Language for ML and Haskell (SLPJ, MS, JL, APT), pp. 49–61.
- POPL-1998-ShieldsSJ #dynamic typing #staged #type inference #type system
- Dynamic Typing as Staged Type Inference (MS, TS, SLPJ), pp. 289–302.
- HT-1987-BeemanABLMMS #hypermedia
- Hypertext and Pluralism: From Lineal to Non-Lineal Thinking (WOB, KTA, GB, JL, APM, PM, MS), pp. 67–88.