scientific article; zbMATH DE number 1456967

zbMath0938.68719MaRDI QIDQ4954456

Jens Palsberg

Publication date: 7 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01)

Related Items (1)

Comparing flow-based binding-time analyses

This page was built for publication: