On one-pass CPS transformations von DANVY, OLIVIER, MILLIKIN, KEVIN, NIELSEN, LASSE R.

Volltext

A first-order one-pass CPS transformation von Danvy, Olivier, Nielsen, Lasse R.

Volltext

CPS transformation of beta-redexes von Danvy, Olivier, Nielsen, Lasse R.

Volltext

A Higher-Order Colon Translation von Danvy, Olivier, Nielsen, Lasse R.

Volltext

A First-Order One-Pass CPS Transformation von Danvy, Olivier, Nielsen, Lasse R.

Volltext

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings von Kuchen, Herbert, Ueda, Kazunori

Volltext

On One-Pass CPS Transformations von Danvy, Olivier, Millikin, Kevin, Nielsen, Lasse R.

Volltext

CPS Transformation of Beta-Redexes von Danvy, Olivier, Nielsen, Lasse R.

Volltext

Refocusing in Reduction Semantics von Danvy, Olivier, Nielsen, Lasse R.

Volltext

A Simple Correctness Proof of the Direct-Style Transformation von Nielsen, Lasse R.

Volltext

A Selective CPS Transformation von Nielsen, Lasse R.

Volltext

A Denotational Investigation of Defunctionalization von Nielsen, Lasse R.

Volltext

On One-Pass CPS Transformations von Danvy, Olivier, Nielsen, Lasse R.

Volltext

Syntactic Theories in Practice von Danvy, Olivier, Nielsen, Lasse R.

Volltext

A First-Order One-Pass CPS Transformation von Danvy, Olivier, Nielsen, Lasse R.

Volltext

Syntactic Theories in Practice von Danvy, Olivier, Nielsen, Lasse R.

Volltext

Defunctionalization at Work von Danvy, Olivier, Nielsen, Lasse R.

Volltext

A Selective CPS Transformation von Nielsen, Lasse R., BRICS

Volltext

CPS Transformation of Beta-Redexes von Danvy, Olivier, Nielsen, Lasse R.

Volltext

A Higher-Order Colon Translation von Danvy, Olivier, Nielsen, Lasse R.

Volltext