Search results for: Morten Heine
Lecture Notes in Computer Science > Perspectives of System Informatics > Partial Evaluation and Supercompilation > 113-127
Lecture Notes in Computer Science > Partial Evaluation > Theory, Systems, and Applications > 246-270
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Invited Demonstration > 6-13
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