Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parametricity and Unboxing with Unpointed Types., and . ESOP, volume 1058 of Lecture Notes in Computer Science, page 204-218. Springer, (1996)De Bruijn Notation as a Nested Datatype., and . J. Funct. Program., 9 (1): 77-91 (1999)A New Notation for Arrows.. ICFP, page 229-240. ACM, (2001)SIGPLAN Notices 36(10), October 2001.Constructing Applicative Functors.. MPC, volume 7342 of Lecture Notes in Computer Science, page 300-323. Springer, (2012)Compiling Laziness Using Projections.. SAS, volume 1145 of Lecture Notes in Computer Science, page 255-269. Springer, (1996)Arrows and computation. The Fun of Programming, page 201--222. (2003)Applicative programming with effects, and . Journal of Functional Programming, 18 (01): 1--13 (May 16, 2007)Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire., , and . FPCA, volume 523 of Lecture Notes in Computer Science, page 124-144. Springer, (1991)Transforming Lazy Functions Using Comportment Properties.. PLILP, volume 1292 of Lecture Notes in Computer Science, page 111-125. Springer, (1997)A Tiny Functional Language with Logical Features.. Declarative Programming, page 66-79. Springer, (1991)