Search results for: Morten Heine Sørensen
Lecture Notes in Computer Science > Perspectives of System Informatics > Partial Evaluation and Supercompilation > 113-127
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 152-166
Lecture Notes in Computer Science > Partial Evaluation > 137-160
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 241-258
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 165-181
Lecture Notes in Computer Science > Static Analysis > 296-313
Higher-Order and Symbolic Computation > 2003 > 16 > 3 > 253-285
Information and Computation > 2002 > 178 > 1 > 149-179
Theoretical Computer Science > 2001 > 269 > 1-2 > 317-361
Information and Computation > 1997 > 133 > 1 > 35-71
Electronic Notes in Theoretical Computer Science > 1997 > 6 > Complete > 4-59