scientific article; zbMATH DE number 1956560

zbMath1032.68041MaRDI QIDQ4417900

J. B. Wells, Christian Haack

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180284.htm

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Improving type error reporting for type classes ⋮ Systematic identification and communication of type errors ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Improving type error messages for generic Java ⋮ Skalpel: a constraint-based type error slicer for standard ML ⋮ Termination checking with types ⋮ Source-tracking unification

This page was built for publication: