ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
53
views
7
references
Top references
cited by
3
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
602
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Ur/Web : a simple model for programming the web
Author(s):
Adam Chlipala
1
Publication date
Created:
July 22 2016
Publication date
(Print):
July 22 2016
Journal:
Communications of the ACM
Publisher:
Association for Computing Machinery (ACM)
Read this article at
ScienceOpen
Publisher
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Internet Archaeology
Most cited references
7
Record
: found
Abstract
: not found
Conference Proceedings
: not found
How to make ad-hoc polymorphism less ad hoc
S Blott
,
P. Wadler
(1989)
0
comments
Cited
31
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Imperative functional programming
Simon Peyton Jones
,
Philip Wadler
(1993)
0
comments
Cited
27
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Modules for standard ML
David A. MacQueen
(1984)
0
comments
Cited
10
times
– based on
0
reviews
Bookmark
All references
Author and article information
Journal
Title:
Communications of the ACM
Abbreviated Title:
Commun. ACM
Publisher:
Association for Computing Machinery (ACM)
ISSN (Print):
00010782
Publication date Created:
July 22 2016
Publication date (Print):
July 22 2016
Volume
: 59
Issue
: 8
Pages
: 93-100
Affiliations
[
1
]
MIT CSAIL, Cambridge, MA
Article
DOI:
10.1145/2958736
SO-VID:
36ab5345-9cd9-4fdb-aa22-720fc6ea49ac
Copyright ©
© 2016
License:
http://www.acm.org/publications/policies/copyright_policy#Background
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
602
UR channel-robust synthetic speech detection system for ASVspoof 2021
Authors:
Ur förändringens tid. Boplatser under senmesolitikum, in Ytterberg, N (red.) Flyktiga förbindelser. Arkeologiska undersökningar inför den nya gasledningen Göteborg-Stenungsund
Authors:
Wennberg
Prähistorie und Nationalsozialismus. Die mittel- und osteuropäische Ur- und Frühgeschichtsforschung in den Jahren 1933–1945
Authors:
G Schobel
,
Schöbel G.
See all similar
Cited by
3
Safety and Security in Cyber-Physical Systems and Internet-of-Things Systems
Authors:
Marilyn Wolf
,
Dimitrios Serpanos
ARMET: Behavior-Based Secure and Resilient Industrial Control Systems
Authors:
Muhammad Khan
,
Dimitrios Serpanos
,
Howard Shrobe
On Synthesis of Runtime Security Monitor for Real-time IoT Applications
Authors:
Muhammad Taimoor Khan
,
Dimitrios Serpanos
,
Howard Shrobe
See all cited by
Most referenced authors
36
Philip Wadler
Michael Greenberg
Michael GREENBERG
See all reference authors