[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || A λ-calculus à la de Bruijn with explicit substitutionsHermenegildo, Manuel; Swierstra, S. Doaitse · 1995

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || Elementary logic programsDeransart, Pierre; Maluszyński, Jan · 1990

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || Implementing parallel rewritingDeransart, Pierre; Maluszyński, Jan · 1990

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || Compilation of narrowingDeransart, Pierre; Maluszyński, Jan · 1990

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || The vienna abstract machineDeransart, Pierre; Maluszyński, Jan · 1990

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || Reasoning about programs with effectsDeransart, Pierre; Maluszyński, Jan · 1990

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || A constraint logic programming shellDeransart, Pierre; Maluszyński, Jan · 1990

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || Compiling logic programs with equalityDeransart, Pierre; Maluszyński, Jan · 1990

[Lecture Notes in Computer Science] Programming Language Implementation and Logic Programming Volume 456 || Efficient data representation in polymorphic languagesDeransart, Pierre; Maluszyński, Jan · 1990