Programming Languages BooksProgramming Languages Theory Books

Type Theory and Functional Programming

Advertisement

Type Theory and Functional Programming

Type Theory and Functional Programming

This PDF covers the following topics related to Programming Languages Theory : Introduction to Logic, Functional Programming and &

Author(s):

s378 Pages
Similar Books
Introduction to Programming Lectures Notes

Introduction to Programming Lectures Notes

Objective of this note is to teach the fundamental principles of programming, making use of the typical aspects of the object-oriented, functional, and imperative programming paradigms. Such basic principles are presented by referring to the Java programming language.

sNA Pages
Foundations of Programming for High Performance Computing

Foundations of Programming for High Performance Computing

This course note is an introduction to high performance computing (HPC) on modern desktop computer architectures. The targeted audience is undergraduate students who are not engaged in a computer science program but who want to be exposed to the principles HPC (relevant to desktop computers) and take advantage of them in their field of study.

sNA Pages
Concepts of Programming Languages

Concepts of Programming Languages

This note covers the following topics: Functional Languages, Imperative Languages, Object-Oriented Languages, Constraint Languages and Logic Programming Languages.

sNA Pages
Dictionary of Programming Languages

Dictionary of Programming Languages

The Dictionary of Programming Languages is a compendium of computer coding methods assembled to provide information and aid your appreciation for computer science history. The dictionary currently has over 120 entries.

sNA Pages
Programming Languages Application and Interpretation

Programming Languages Application and Interpretation

Currently this section contains no detailed description for the page, will update this page soon.

s Pages
Computer Languages History

Computer Languages History

Currently this section contains no detailed description for the page, will update this page soon.

s Pages

Advertisement