Author : Association for Computing Machinery
Publisher : Pearson Education
Page : 370 pages
File Size : 34,32 MB
Release : 1992
Category : Computer programming
ISBN : 9780897914819
Author :
Publisher : Pearson Education
Page : 338 pages
File Size : 44,79 MB
Release : 1994
Category : Computer science
ISBN : 9780897916431
Author : Chris Reade
Publisher : Addison Wesley Publishing Company
Page : 624 pages
File Size : 28,4 MB
Release : 1989
Category : Computers
ISBN :
Software -- Programming Techniques.
Author : Association for Computing Machinery. Southeast Regional Conference
Publisher : Pearson Education
Page : 284 pages
File Size : 12,53 MB
Release : 1982
Category : Computer programming
ISBN : 9780897917704
Author :
Publisher : Pearson Education
Page : 364 pages
File Size : 28,69 MB
Release : 1998
Category : Computers
ISBN : 9781581130249
Author :
Publisher : Pearson Education
Page : 292 pages
File Size : 13,80 MB
Release : 2001
Category : Computer science
ISBN : 9781581134155
Author : Pieter Koopman
Publisher : Springer
Page : 345 pages
File Size : 45,52 MB
Release : 2009-09-29
Category : Computers
ISBN : 3642046525
Several carefully revised lectures from the 6th International School on Functional Programming, AFP 2008, are presented in this valuable review. Topics include computation with Delta ML, spider spinning, reduction-based normalization and Haskell programming.
Author : Michael Hanus
Publisher : Springer Nature
Page : 298 pages
File Size : 33,55 MB
Release : 2022-05-03
Category : Computers
ISBN : 3030994619
This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022. The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.
Author :
Publisher : Pearson Education
Page : 228 pages
File Size : 17,19 MB
Release : 1997
Category : Computer science
ISBN : 9780897919173
"Sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)."
Author :
Publisher : Association for Computing Machinery (ACM)
Page : 376 pages
File Size : 43,8 MB
Release : 1993
Category : Computers
ISBN :
