BibTeX
CSL-JSON
MLA
Harvard
Functional Programs as Executable Specifications [and Discussion]
release_s2jq4lnauvfdzd5alqp2stsxsm
by
D. A. Turner, J. Fairbairn, D. Park, P. Wadler, B. A. Wichmann, M. H. Rogers
Published
in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences by The Royal Society.
1984 Volume 312, Issue 1522, p363-388
Archived Files and Locations
application/pdf 6.8 MB
file_5lqp43vt7jhg5eo76whlu3sglu
|
royalsocietypublishing.org (web) web.archive.org (webarchive) |
application/pdf 8.7 MB
file_ppaug23cwfavxa2e4jzolhg3am
|
repository.ubn.ru.nl (web) web.archive.org (webarchive) |
Read Archived PDF
Preserved and Accessible
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar