dblp.uni-trier.dewww.uni-trier.de

Lasse R. Nielsen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
8EEOlivier Danvy, Kevin Millikin, Lasse R. Nielsen: On one-pass CPS transformations. J. Funct. Program. 17(6): 793-812 (2007)
2005
7EEOlivier Danvy, Lasse R. Nielsen: CPS transformation of beta-redexes. Inf. Process. Lett. 94(5): 217-224 (2005)
2003
6EEOlivier Danvy, Lasse R. Nielsen: A first-order one-pass CPS transformation. Theor. Comput. Sci. 308(1-3): 239-257 (2003)
2002
5EEOlivier Danvy, Lasse R. Nielsen: A First-Order One-Pass CPS Transformation. FoSSaCS 2002: 98-113
2001
4EEOlivier Danvy, Lasse R. Nielsen: A Higher-Order Colon Translation. FLOPS 2001: 78-91
3 Olivier Danvy, Lasse R. Nielsen: Defunctionalization at Work. PPDP 2001: 162-174
2EELasse R. Nielsen: A Selective CPS Transformation. Electr. Notes Theor. Comput. Sci. 45: (2001)
1EEOlivier Danvy, Lasse R. Nielsen: Syntactic Theories in Practice. Electr. Notes Theor. Comput. Sci. 59(4): (2001)

Coauthor Index

1Olivier Danvy [1] [3] [4] [5] [6] [7] [8]
2Kevin Millikin [8]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)