scientific article; zbMATH DE number 5033863
From MaRDI portal
Publication:5472909
zbMath1096.68026MaRDI QIDQ5472909
Patricia Johann, Janis Voigtländer
Publication date: 19 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Making ``stricterness more relevant ⋮ Selective strictness and parametricity in structural operational semantics, inequationally ⋮ Semantics and Pragmatics of New Shortcut Fusion Rules ⋮ A family of syntactic logical relations for the semantics of Haskell-like languages ⋮ Refined typing to localize the impact of forced strictness on free theorems
Uses Software
This page was built for publication:
