Searching for authors named "Ross Paterson" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Arrows and computation
- … Arrows and computation Ross Paterson Many programs and libraries involve components…
- Cited by 7 (0 self) – Add To MetaCart
-
pi-Calculus Semantics for the Concurrent Configuration Language Darwin
- …��-Calculus Semantics for the Concurrent Configuration Language Darwin Susan Eisenbach Ross…
- Cited by 16 (6 self) – Add To MetaCart
-
Generalised Folds for Nested Datatypes
- … Richard Bird 1 and Ross Paterson 2 Abstract. Nested datatypes generalise regular datatypes in much…
- Cited by 25 (1 self) – Add To MetaCart
-
Applicative programming with effects
- … Applicative programming with effects CONOR MCBRIDE University of Nottingham ROSS PATERSON City University…
- Cited by 11 (1 self) – Add To MetaCart
-
Parametricity and Unboxing with Unpointed Types
- …Parametricity and Unboxing with Unpointed Types John Launchbury 1 and Ross Paterson 2 1 Oregon…
- Cited by 16 (2 self) – Add To MetaCart
-
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire
- … Fokkinga y Ross Paterson z Abstract We develop a calculus for lazy functional programming based…
- Cited by 252 (8 self) – Add To MetaCart
-
de Bruijn notation as a nested datatype
- …, Oxford University Wolfson Building, Parks Road, Oxford, OX1 3QD, UK Ross Paterson Department…
- Cited by 51 (2 self) – Add To MetaCart
Showing 1 through 7.
