Programming Languages BooksProgramming Languages Theory Books

Notes on Programming Language Concepts

Advertisement

Notes on Programming Language Concepts

Notes on Programming Language Concepts

This note covers programming languages and programming paradigms, OCaml operational Semantics: an overview, Names, Bindings and environment, A static analysis primer, Stack machines, Functions everywhere, Static scope and dynamic scope.

Author(s):

s43 Pages
Similar Books
Principles of Programming Languages by David Liu

Principles of Programming Languages by David Liu

This PDF covers the following topics related to Programming Languages Theory : Prelude: The Study of Programming Languages, Functional Programming: Theory and Practice, Macros, Objects, and Backtracking, Type systems, In Which We Say Goodbye.

s152 Pages
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 &

s378 Pages
Programming Languages Theory and Practice

Programming Languages Theory and Practice

This note explains the following topics: Transition Systems, Defining a Language, A Functional Language, Control and Data Flow, Imperative Functional Programming, Cost Semantics and Parallelism, Data Structures and Abstraction, Lazy Evaluation, Dynamic Typing, Subtyping and Inheritance, Storage Management.

s277 Pages
Programming Languages (S.F. Smith)PDF

Programming Languages (S.F. Smith)PDF

This book is a much more appropriate book for a modern programming languages course than a traditional one based on paradigms. Topics covered includes: Parsing, Interpretation, Desugaring, Adding Functions to the Language, From Substitution to Environments, Functions Anywhere, Mutation: Structures and Variables, Recursion and Cycles: Procedures and Data, Objects, Memory Management, Representation Decisions, Desugaring as a Language Feature, Control Operations, Checking Program Invariants Statically: Types, Checking Program Invariants Dynamically: Contracts and Alternate Application Semantics.

s207 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
Implementing Functional Languages A Tutorial

Implementing Functional Languages A Tutorial

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

s Pages

Advertisement