Semantics of untyped functional programs

DOI10.1023/A:1015604813156zbMath1037.68092MaRDI QIDQ1403215

S. A. Avetisyan, S. A. Nigiyan

Publication date: 1 September 2003

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

procedural semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

On basic semantics of untyped functional programs ⋮ LP structures on type lattices and some refactoring problems

This page was built for publication: Semantics of untyped functional programs