Lasse R. Nielsen

According to our database1, Lasse R. Nielsen authored at least 7 papers between 2001 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
On one-pass CPS transformations.
J. Funct. Program., 2007

2005
CPS transformation of beta-redexes.
Inf. Process. Lett., 2005

2003
A first-order one-pass CPS transformation.
Theor. Comput. Sci., 2003

2001
Syntactic Theories in Practice.
Proceedings of the Second International Workshop on Rule-Based Programming, 2001

A Selective CPS Transformation.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

Defunctionalization at Work.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

A Higher-Order Colon Translation.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001


  Loading...