scientific article; zbMATH DE number 1956505
From MaRDI portal
Publication:4417851
zbMath1029.68097MaRDI QIDQ4417851
Tarmo Uustalu, Ralph Matthes, Andreas Abel
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200054.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
Substitution in non-wellfounded syntax with variable binding ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Executable Relational Specifications of Polymorphic Type Systems Using Prolog
This page was built for publication:
