海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Implementation of Functional Languages Volume 1868 ||Koopman, Pieter; Clack, Chris · 2000
[Lecture Notes in Computer Science] Implementation of Functional Languages Volume 1595 ||Hammond, Kevin; Davie, Tony; Clack, Chris · 1999
[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 5642 ||Maneth, Sebastian · 2009
[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 9223 ||Drewes, Frank · 2015
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1980 Volume 88 || Abstract implementation of abstract data typesDembiński, P. · 1980
[Lecture Notes in Computer Science] Compiling Natural Semantics Volume 1549 || 5 Implementation OverviewPettersson, Mikael · 1999
[Lecture Notes in Computer Science] Instantiation Theory Volume 518 || Implementation and computational complexity, · 1991
[Lecture Notes in Computer Science] Implementation and Application of Automata Volume 10329 ||Carayol, Arnaud; Nicaud, Cyril · 2017
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 3474 || General Homomorphic OverloadingGrelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil · 2005
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 3474 || Source-Based Trace ExplorationGrelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil · 2005
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 3474 || Explaining ML Type Errors by Data FlowsGrelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil · 2005
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 3474 || Reasoning About Deterministic Concurrent Functional I/OGrelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil · 2005
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 3474 || A Virtual Machine for Functional Logic ComputationsGrelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil · 2005
[Lecture Notes in Computer Science] Implementation and Application of Functional Languages Volume 3474 || A Rational Deconstruction of Landin’s SECD MachineGrelck, Clemens; Huch, Frank; Michaelson, Greg J.; Trinder, Phil · 2005