Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)
1984 / 10 Vol. 312; Iss. 1522
![](/img/cover-not-exists.png)
Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Functional Programs as Executable Specifications [and Discussion]
D. A. Turner, J. Fairbairn, D. Park, P. Wadler, B. A. Wichmann and M. H. RogersVolume:
312
Language:
english
Journal:
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
DOI:
10.2307/37440
Date:
October, 1984
File:
PDF, 3.23 MB
english, 1984