海量图书期刊资源,随时随地畅享阅读乐趣
[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 Languages: Implementations, Logics and Programs Volume 982 || Uniqueness type inferenceHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Programming with constructor classesHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Better consumers for deforestationHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || An abstract machine for OzHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Lightweight GUIs for functional programmingHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || A verified implementation of narrowingHermenegildo, Manuel; Swierstra, S. Doaitse · 1995
[Lecture Notes in Computer Science] Programming Languages: Implementations, Logics and Programs Volume 982 || Exploiting parallelism in tabled evaluationsHermenegildo, Manuel; Swierstra, S. Doaitse · 1995