33 treff

funksjonell programmering notrbib real008906
Interpretering av APE-språket Kildekoden til APE-interpreten
Svendsen, Arve Bredde
Bok Bokmål 1992 · Vis mer
WCFLP '05 : proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Logic Programming, September 29, 2005, Tallinn, Estonia
Workshop on Curry and Functional Logic Programming
Bok Engelsk 2005 · Vis mer
Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 2003 · Vis mer
Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Functional and logic programming : 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 2001 · Vis mer
Implementation of functional languages : 11th international workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers
International Workshop on Implementation of Functional Languages
Bok Engelsk 2000 · Vis mer
Vector and parallel processing - VECPAR'98 : third international conference, Porto, Portugal, June 21-23, 1998 : selected papers and invited talks
International Conference on Vector and Parallel Processing- Systems and Applications
Bok Engelsk 1999 · Vis mer
Functional and logic programming : 4th Fuji international symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 1999 · Vis mer
Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Pore̢ba, Poland, September 6-10, 1999 : proceedings
International Symposium on Mathematical Foundations of Computer Science
Bok Engelsk 1999 · Vis mer
Logic based program synthesis and transformation : 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
LOPSTR 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic based program synthesis and transformation : 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 : revised selected papers
LOPSTR 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
ML for the working programmer
Lawrence C. Paulson
Bok Engelsk 1996 · Vis mer
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
On the efficiency of applicative algorithms
Silvio Romero de Lemos Meira
Bok Engelsk 1985 · Vis mer
Learning functional programming : managing code complexity by thinking functionally
Jack Widman
Bok Engelsk 2022 · Vis mer
Implementation of functional languages : 15th international workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised papers
IFL 2003
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
A tight, practical integration of relations and functions
Boley, H.
Bok Engelsk 1999 · Vis mer
Advanced functional programming : 4th international school, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures
AFP 2002
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000 : selected papers
IFL 2000
Bok Engelsk 2001 · Vis mer
Advanced functional programming : third international school, AFP'98, Braga, Portugal, September 12-19, 1998 : revised lectures
AFP'98
Bok Engelsk 1999 · Vis mer
Implementation of functional languages : 10th international workshop, IFL'98, London, UK, September 9-11, 1998 : selected papers
IFL'98
Bok Engelsk 1999 · Vis mer
The Definition of Standard ML : (revised)
Robin Milner ... [et al.]
Bok Engelsk 1997 · Vis mer
The definition of Standard ML
Robin Milner, Mads Tofte, and Robert Harp...
Bok Engelsk 1990 · Vis mer
Elements of functional programming
Chris Reade
Bok Engelsk 1989 · Vis mer
Implementation of functional languages : 8th international workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996 : selected papers
IFL'96
Bok Engelsk 1997 · Vis mer
Functional programming using standard ML
Åke Wikström
Bok Engelsk 1987 · Vis mer
Haskell : the craft of functional programming
Simon Thompson
Bok Engelsk 1999 · Vis mer