Programming Language Theory

Segundo (BEN-ARI,1996)

“A program is a sequence of symbols that specifies a computation. A programming language is a set of rules that specify which sequences of symbols constitute a program, and what computation the program describes.”

Dento desta área de pesquisa, podemos dividir os conceitos, técnicas e metodologias por cada paradigma de programação. De acordo com

“A paradigm is a distinctive style of programming. Each paradigm is characterized by the predominance of certain key concepts” (WATT, David , 2006).

Os principais paradigmas são:

Especificamente, o paradigma funcional é uma área de interesse, e junto com outros alunos e profissionais, criamos uma comunidade dedicada a programação funcional LambdaMA. https://lambda-ma.github.io/

Selected

  1. How to prove it - Daniel J. Velleman
  2. TaPL - Types and Programming Languages - Benjamin C. Pierce

Books

Videos

Programming Languages


Books

Papers

Compiler Construction


Books

Papers

Videos

Runtime systems


Books

Papers

Functional Programming


Selected

  1. Bird and Wadler - Introduction to Functional Programming, 1st Edition - Bird and Wadler

Books

Papers

Videos

Category Theory


Selected

  1. Conceptual
  2. Mathematics,
  3. A First Introduction to Categories, 2nd Edition - F. William Lawere and Stephen H. Schanuel
  4. CTCS-2nd Category Theory for Computing Science - Michael Barr
  5. and Charles Wells CTCS-1st

Books

to check

Other collections