海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Functional and Logic Programming Volume 10818 ||Gallagher, John P.; Sulzmann, Martin · 2018
[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 523 || Incremental polymorphismHughes, John · 1991
[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1988 Volume 324 || Functional programming and combinatory algebrasChytil, Michal P.; Koubek, Václav; Janiga, Ladislav · 1988
[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 523 || Linearity and lazinessHughes, John · 1991
[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 523 || Generating efficient code for lazy functional languagesHughes, John · 1991
[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 523 || Coercive type isomorphismHughes, John · 1991
[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 274 || Clean — A language for functional graph rewritingKahn, Gilles · 1987
[Lecture Notes in Computer Science] Functional Programming Languages and Computer Architecture Volume 274 || Detecting sharing of partial applications in functional programsKahn, Gilles · 1987
EditorialHerbert Kuchen; Murray Cole · 2006
IntroductionDonghwi Lee, Chia-Chu Chiang, Mal Rey Lee, Herbert Kuchen, Kenji Leibnitz · 2012
E‐assessment and software testingUsener, Claus A.; Majchrzak, Tim A.; Kuchen, Herbert · Interactive Technology and Smart Education · 2012
Data Parallel Skeletons in JavaKuchen, Herbert; Ernsting, Steffen · Procedia Computer Science · 2012
ON IMPLEMENTING THE FARM SKELETONPOLDNER, MICHAEL; KUCHEN, HERBERT · Parallel Processing Letters · 2008
Integration of functional and logic programmingHanus, Michael; Kuchen, Herbert · ACM Computing Surveys · 1996
Guest Editors’ NoteGorlatch, Sergei; Kuchen, Herbert · Parallel Processing Letters · 2017
Efficient high-level parallel programmingGeorge Horaţiu Botorog; Herbert Kuchen · 1998