4743 search results - page 17 / 949 » Introduction to Functional Programming |
Book
"First the bad news: TEX is a large and complicated program that goes to extraordinary
lengths to produce attractive typeset material. This very complication can cause unexpe...
254
click to vote
Source Code
SLEEF (SIMD Library for Evaluating Elementary Functions) is a library that facilitates programming with SIMD instructions. It implements the trigonometric functions, inverse trigon...
ICFP
2012
ACM
12 years 7 days ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Book
"This book was written for my introductory course in digital audio signal processing, which I have given at the Center for Computer Research in Music and Acoustics (CCRMA) sin...
ISHPC
2000
Springer
14 years 1 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...