BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Shields:Mark

Contributed to:

POPL 20012001
POPL 20002000
POPL 19981998
HT 19871987

Wrote 5 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.