An update calculus for expressing type-safe program updates

Materias

• Lambda calculus
• Computer programs

Ediciones (1)

• An update calculus for expressing type-safe program updates (2002)

  Oregon State University, Dept. of Computer Science · inglés

Más obras de Martin Erwig

CCompiling generic mathematical tool descriptions into Fortra

Compiling generic mathematical tool descriptions into Fortran

Grundlagen funktionaler Programmierung

MMonadification of functional programs

Monadification of functional programs