20 treff

functional programming languages
Functional programming languages and computer architecture : 5th ACM conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings
J. Hughes(ed.)
Bok Engelsk 1991 · Vis mer
Implementing functional languages
Simon L. Peyton Jones and David R. Lester...
Bok Engelsk 1992 · Vis mer
Elements of functional languages
Martin C. Henson
Bok Språk ikke angitt 1987 · Vis mer
Verified functional programming in Agda
Aaron Stump
Bok Engelsk 2016 · Vis mer
Programming in Haskell
Graham Hutton
Bok Engelsk 2016 · Vis mer
Programming in Haskell
Graham Hutton
Bok Engelsk 2016 · Vis mer
Parallel functional languages and compilers
edited by Boleslaw K. Szymanski
Bok Engelsk 1991 · Vis mer
Functional programming : practice and theory
Bruce J. MacLennan
Bok Engelsk 1990 · Vis mer
Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised selected papers
IFL 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Implementation of functional languages : 13th international workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
IFL 2001
Bok Engelsk 2002 · Vis mer
Constructive foundations for functional languages
Raymond Turner
Bok Engelsk 1991 · Vis mer
Implementation of functional languages : 9th international workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers
IFL'97
Bok Engelsk 1998 · Vis mer
The optimal implementation of functional programming languages
Andrea Asperti, Stefano Guerrini
Bok Engelsk 1998 · Vis mer
Programming with Miranda
Chris Clack, Colin Myers, Ellen Poon
Bok Engelsk 1995 · Vis mer
Lambda-calculus, combinators, and functional programming
Révész, György E.
Bok Engelsk 1988 · Vis mer
Purely functional data structures
Chris Okasaki
Bok Engelsk 1998 · Vis mer
Arrays, functional languages, and parallel systems
edited by Lenore M. R. Mullin ... [et al....
Bok Engelsk 1991 · Vis mer
Practical OCaml
Joshua B. Smith
Bok Engelsk 2006 · Vis mer
Semantics of type theory : correctness, completeness and independence results
Streicher, Thomas.
Bok Engelsk 1991 · Vis mer
Software design and prototyping using me too
Heather Alexander, Val Jones
Bok Engelsk 1990 · Vis mer