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.
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.
This
note covers the following topics: Parsing, Interpretation, Adding Functions to
the Language, From Substitution to Environments, Functions, 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, Alternate Application Semantics.
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.
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.
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.