scientific article
From MaRDI portal
Publication:3713568
zbMath0587.68010MaRDI QIDQ3713568
Geoffrey L. Burn, Chris Hankin, Simon L. Peyton Jones
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallelismparallel implementationfunctional languagestrictness analysisparallel reductiondirector stringsparallel combinator
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
