Ross Paterson Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson: Proofs for free - Parametricity for dependent types. J. Funct. Program. 22(2): 107-152 (2012)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ross Paterson: Constructing Applicative Functors. MPC 2012: 300-323
2010
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson: Parametricity and dependent types. ICFP 2010: 345-356
2008
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Conor McBride, Ross Paterson: Applicative programming with effects. J. Funct. Program. 18(1): 1-13 (2008)
2006
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ralf Hinze, Ross Paterson: Finger trees: a simple general-purpose data structure. J. Funct. Program. 16(2): 197-217 (2006)
2001
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ross Paterson: A New Notation for Arrows. ICFP 2001: 229-240
1999
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard S. Bird, Ross Paterson: Generalised folds for nested datatypes. Formal Asp. Comput. 11(2): 200-222 (1999)
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Richard S. Bird, Ross Paterson: De Bruijn Notation as a Nested Datatype. J. Funct. Program. 9(1): 77-91 (1999)
1997
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ross Paterson: Transforming Lazy Functions Using Comportment Properties. PLILP 1997: 111-125
1996
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
John Launchbury, Ross Paterson: Parametricity and Unboxing with Unpointed Types. ESOP 1996: 204-218
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ross Paterson: Compiling Laziness Using Projections. SAS 1996: 255-269
1991
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Erik Meijer, Maarten M. Fokkinga, Ross Paterson: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. FPCA 1991: 124-144
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Ross Paterson: A Tiny Functional Language with Logical Features. Declarative Programming 1991: 66-79
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sophia Drossopoulou, Ross Paterson, Susan Eisenbach: Parameterized Interfaces are Interfaces - AIAS. Declarative Programming 1991: 133-147

Coauthor Index

1Jean-Philippe Bernardy
[j5] [c8]
2Richard S. Bird
[j2] [j1]
3Sophia Drossopoulou
[c1]
4Susan Eisenbach
[c1]
5Maarten M. Fokkinga
[c3]
6Ralf Hinze
[j3]
7Patrik Jansson
[j5] [c8]
8John Launchbury
[c5]
9Conor McBride
[j4]
10Erik Meijer
[c3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 13:06:40 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page