A Rewriting Semantics for Type Inference

DOI10.1007/978-3-540-71316-6_29zbMath1187.68155OpenAlexW2162059548MaRDI QIDQ5756511

Robert Bruce Findler, George Kuan, David B. MacQueen

Publication date: 4 September 2007

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_29

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

A Rewriting Logic Approach to Type Inference, A correspondence between type checking via reduction and type checking via evaluation

Uses Software

• Stratego