scientific article
From MaRDI portal
Publication:2729056
zbMath0971.68641MaRDI QIDQ2729056
Publication date: 6 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (12)
Unified Syntax with Iso-types ⋮ Improving type error reporting for type classes ⋮ Constructing language processors with algebra combinators ⋮ Programming with C++ concepts ⋮ Heterogeneous binary random-access lists ⋮ Generic programming in 3D ⋮ First-Class Type Classes ⋮ Closure via functional dependence simplification ⋮ Derivable Type Classes ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver ⋮ Type-Safe Code Transformations in Haskell ⋮ Language-Based Program Verification via Expressive Types
This page was built for publication:
