Search results for "Type Theory and Functional Programming"
30 results found
Search results

Computers & Internet
Funktionale Programmierung / Functional Programming by Peter Pepper and Petra Hofstedt | Springer Verlag German Hardcover | Software Architecture & Programming Books

Programming
Lambda-calculus, Combinators and Functional Programming by G

Programming
Functional Programming for Java Developers

O'Reilly Media
ClojureScript – Up and Running: Functional Programming for t

Computers & Internet
Functional and Constraint Logic Programming (English, Julio Marino)

Programming
Optimal Implementation of Functional Programming by Asperti

Science & Mathematics
FUNCTIONAL FRACTIONAL CALCULUS 2ED

Programming
The Functional Approach to Programming by Guy Cousineau

Sciences, Technology & Medicine
Introduction to Homotopy Type Theory (English, Egbert Rijke)

CRC Press
Nonoscillation And Oscillation: Theory for Functional Differ

Computers & Internet
Functional Programming for Java Developers (English, Dean Wampler)

Computers & Internet
Functional Programming Languages in Education (English, Pieter Hartel)

Computers & Internet
Lambda-Calculus, Combinators and Functional Programming (English, G. E. Revesz)

Computers & Internet
Functional Programming Languages and Computer Architecture: 5th ACM Conference 1991 Proceedings by John Hughes | Springer-Verlag | Hardcover | 9783540543961

Programming
Category Theory and Computer Programming: Tutorial and Works

Sciences, Technology & Medicine
Ideologie (English, Peter Tepe)

Science & Mathematics
Functional Fractional Calculus (English, Shantanu Das)

Programming
Genetic Programming Theory and Practice IV by Rick Riolo

Sciences, Technology & Medicine
The Clausal Theory of Types (English, D. A. Wolfram)

Science & Mathematics
Spectral Theory and Nonlinear Functional Analysis (English, Julian Lopez-Gomez)

Programming
Programming Language Theory and Formal Methods by Zoran Gaco

Computers & Internet
Advanced Functional Programming: Second International School Tutorial Text by John Launchbury, Erik Meijer, Tim Sheard | Springer-Nature | English Paperback | 1996 Edition

Computers & Internet
Proof Theory and Logic Programming (English, Dale Miller)

Computers & Internet
Programming Language Theory and Formal Methods (English, Zoran Gacovski)

Programming
Understanding Ecological Programming: Merging Theory, Resear

Programming
Introduction to Game Programming With C++ by Alan Thorn

Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)

Literature & Fiction
The Making of the Pentecostal Melodrama (English, Katrien Pype)

Computers & Internet
Programming Language Theory (English, Alvin Albuero de Luna)

Computers & Internet
