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
22
views
0
references
Top references
cited by
6
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,072
similar
All similar
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Type checking records and variants in a natural extension of ML
proceedings-article
Author(s):
D. Rémy
Publication date
(Print):
1989
Publication date
(Print):
1989
Conference name:
the 16th ACM SIGPLAN-SIGACT symposium (POPL '89)
Conference date:
February 11, 1989 - February 13, 1989
Read this article at
ScienceOpen
Publisher
Further versions
open (via free pdf)
Powered by
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
Radiology and Natural Language Processing
Author and article information
Conference
Publication date (Print):
1989
Publication date (Print):
1989
Pages
: 77-88
Article
DOI:
10.1145/75277.75284
SO-VID:
d9f08602-b38a-4d46-808a-db138f5349e7
Copyright ©
© 1989
Conference name:
the 16th ACM SIGPLAN-SIGACT symposium
Conference acronym:
POPL '89
Conference number:
16
Conference location:
Austin, Texas, United States
Conference date:
February 11, 1989 - February 13, 1989
Conference sponsor:
SIGPLAN, ACM Special Interest Group on Programming Languages
Conference sponsor:
SIGACT, ACM Special Interest Group on Algorithms and Computation Theory
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
2,072
End-tidal carbon dioxide variation after a 100- and a 500-ml fluid challenge to assess fluid responsiveness
Authors:
Matthias Jacquet-Lagrèze
,
Florent Baudin
,
Jean-Stephane David
…
Correlation of Serum Androgens and Pituitary Hormone Levels with Serum PSA Less Than 2.5 NG/ML
Authors:
Mustafa Sofikerim
,
Özgür Oruç
,
Sadettin Eskicorapcı
…
A novel solution approach with ML-based pseudo-cuts for the Flight and Maintenance Planning problem
Authors:
Franco Peschiera
,
Robert F. Dell
,
Johannes O. Royset
…
See all similar
Cited by
5
Making type inference practical
Authors:
Nicholas Oxhøj
,
Jens Palsberg
,
Michael I. Schwartzbach
Generic Wrappers
Authors:
Martin Buchi
,
Wolfgang Weck
Fault Model Design Space for Cooperative Concurrency
Authors:
Ivan Lanese
,
Michael Lienhardt
,
Mario Bravetti
…
See all cited by