scientific article
From MaRDI portal
zbMath0548.68010MaRDI QIDQ3340118
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Higher-Ranked Annotation Polymorphic Dependency Analysis, Semi-unification of two terms in Abelian groups, Combining Model Checking and Data-Flow Analysis, A principled approach to programming with nested types in Haskell, Calculating datastructures, Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version), The different shades of infinite session types, On Polymorphic Recursion, Type Systems, and Abstract Interpretation, Safe typing of functional logic programs with opaque patterns and local bindings, APLicative Programming with Naperian Functors, Finitely stratified polymorphism, Nested session types, On the expressive power of finitely typed and universally polymorphic recursive procedures, Reusing and modifying rulebases by predicate substitution, Region-based memory management, Type reconstruction in finite rank fragments of the second-order \(\lambda\)-calculus, Strictness analysis via abstract interpretation for recursively defined types, A constraint-based region inference algorithm, Introduction to Type Theory, Extending the type checker of Standard ML by polymorphic recursion
Uses Software
