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
Type  article-journal
Stage   published
Date   1984-10-01
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  1364-503X
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d6fa587c-7804-4839-aa01-3351f4c94e9e
API URL: JSON