MSL: a model for W3C XML Schema

Foundations of programming languages

Information and Software Technology · 1989 · 392 citations

Programming Language Theory, Declarative Programming, Engineering +7

Regular expression types for XML

Haruo Hosoya, Jérôme Vouillon, Benjamin C. Pierce · 2000 · 178 citations

Xml Processing Languages, Engineering, Subtyping.the Decision Problem +17

Foundations for programming languages

Computers & Mathematics with Applications · 1996 · 173 citations

Programming Language Theory, Declarative Programming, Engineering +7

Algorithms for finding patterns in strings

Alfred V. Aho · Medical Entomology and Zoology · 1990 · 156 citations

A practical subtyping system for Erlang

Simon Marlow, Philip Wadler · 1997 · 117 citations · Full text

Engineering, Type Theory, Verification +22