scientific article; zbMATH DE number 1497772
From MaRDI portal
Publication:4499187
zbMath0958.68040MaRDI QIDQ4499187
Søren B. Lassen, Andrew Moran, Simon L. Peyton Jones
Publication date: 6 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A family of syntactic logical relations for the semantics of Haskell-like languages ⋮ Parametricity for Haskell with Imprecise Error Semantics
Uses Software
This page was built for publication:
