Research Article
Other versions:
- Article InfoArticle Info
- CiteCite
- MetricsMetrics
- CommentComment
- RelatedRelated
- CitedCited
JUCS - Journal of Universal Computer Science 23(1): 5-20
doi:
10.3217/jucs-023-01-0005
Received:
01 Aug 2016 | Approved:
01 Dec 2016 | Published:
28 Jan 2017
This article is part of:
Author
Philip Wadler
- Corresponding author
Edinburgh University, Edinburgh, United Kingdom
Articles by this author in:
CrossRef
|
Google Scholar
Conflict of interest
The author has declared that no competing interests exist.
This article is freely available under the J.UCS Open Content License.