Searching for authors named "Mark Shields" – sorted by Relevance.
-
XMlambda - A Functional Language for Constructing and Manipulating XML Documents
- of Utrecht mailto:erik@(email omitted); http://www.cs.uu.nl/~erik Mark Shields Oregon Graduate Institute mailto
- Cited by 42 (2 self) – Add To MetaCart
-
Type-Indexed Rows
- Languages, London, 17-19 January, 2001 Type-Indexed Rows Mark Shields Oregon Graduate Institute mbs
- Cited by 29 (7 self) – Add To MetaCart
-
Object-Oriented Style Overloading for Haskell (Extended Abstract)
- ) Mark Shields 1 Simon Peyton Jones 2 Microsoft Research Cambridge 7 JJ Thomson Avenue Cambridge, CB3
- Add To MetaCart
-
Object-oriented style overloading for Haskell
- ://www.elsevier.nl/locate/entcs/volume59.html 20 pages Object-Oriented Style Overloading for Haskell (Extended Abstract) Abstract Mark
- Cited by 9 (2 self) – Add To MetaCart
-
First-Class Modules for Haskell
- -Class Modules for Haskell Mark Shields Simon Peyton Jones Microsoft Research Cambridge fmarkshie; simonpjg
- Cited by 12 (1 self) – Add To MetaCart
-
First-Class Modules for Haskell
- First-Class Modules for Haskell Mark Shields Simon Peyton Jones Microsoft Research Cambridge
- Add To MetaCart
-
Dynamic Typing as Staged Type Inference
- Abstract Mark Shields University of Glasgow mbs@(email omitted); Dynamic Typing as Staged Type
- Cited by 29 (4 self) – Add To MetaCart
-
Bridging the gulf: a common intermediate language for ML and Haskell
- of Glasgow and Oregon Graduate Institute John Launchbury Oregon Graduate Institute Mark Shields University
- Cited by 19 (1 self) – Add To MetaCart
-
Implicit Parameters: Dynamic Scoping with Static Types
- Implicit Parameters: Dynamic Scoping with Static Types Jerey R. Lewis Mark B. Shields Erik
- Cited by 59 (3 self) – Add To MetaCart

