Ross Paterson (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

8 Richard S. Bird, Ross Paterson: Generalised folds for nested datatypes. Formal Asp. Comput. 11(2): 200-222 (1999)

7 Richard S. Bird, Ross Paterson: De Bruijn Notation as a Nested Datatype. J. Funct. Program. 9(1): 77-91 (1999)

Selection of 2 from 11 records - Ross Paterson has 8 coauthors

8		Richard S. Bird, Ross Paterson: Generalised folds for nested datatypes. Formal Asp. Comput. 11(2): 200-222 (1999)
7		Richard S. Bird, Ross Paterson: De Bruijn Notation as a Nested Datatype. J. Funct. Program. 9(1): 77-91 (1999)