Search results for: Neil D. Jones
Lecture Notes in Computer Science > Partial Evaluation > Theory, Systems, and Applications > 203-220
Lecture Notes in Computer Science > Partial Evaluation > 216-237
Lecture Notes in Computer Science > Generative Programming and Component Engineering > Invited Papers > 1-31
Lecture Notes in Computer Science > Mathematical Foundations of Programming Language Semantics > 386-413
Lecture Notes in Computer Science > Logic at Botik '89 > 119-133
Lecture Notes in Computer Science > Static Analysis > 396-405