BigTypes in ML (poster)
August 1997
Page 316
Abstract
No abstract available.
References
[1]
Lars Birkedal, Nick Rothwell, Mads Tofte, and David N. Turner. The ML h'it. DIKU, March 1993.
[2]
Luis Damas and Robin Milner. Principal type-schemes for functional programs. In Ninth Annual Symposium on Principles of Programming Languages, 1982.
[3]
Stephen Gilmore. Designing for proof. In Mathematics of Software Quality, 1995.
[4]
Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, 1990.
Recommendations
CHI '88 poster session papers and abstracts
Interactive Poster Sessions serve as a valuable forum for presenting late-breaking research in computer-human interaction and receiving feedback from an interested body of viewers. The poster sessions held at this year's CHI '88 conference, May 15--19 ...
CHI'89 interactive poster session papers and abstracts
The interactive poster sessions at the annual CHI conferences are one of the outlets that CHI provides for researchers to present work that, for a variety of reasons, does not fit the constraints of the technical paper sessions. The poster format offers ...
Comments
Information & Contributors
Information
Published In
August 1997
326 pages
Aug. 1997322 pagesISSN:0362-1340EISSN:1558-1160DOI:10.1145/258949Issue’s Table of Contents- Chairmen:
- Simon Peyton Jones,
- Mads Tofte,
- Editor:
- A. Michael Berman
Copyright © 1997 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
- SIGPLAN: ACM Special Interest Group on Programming Languages
- IFIP WG 2.8: IFIP WG 2.8
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 August 1997
Check for updates
Qualifiers
- Article
Conference
ICFP97
Sponsor:
- SIGPLAN
- IFIP WG 2.8
ICFP97: International Conference on Functional Programming 1997
June 9 - 11, 1997
Amsterdam, The Netherlands
Acceptance Rates
ICFP '97 Paper Acceptance Rate 25 of 78 submissions, 32%;
Overall Acceptance Rate 333 of 1,064 submissions, 31%
Upcoming Conference
ICFP '24
- Sponsor:
- sigplan
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 213Total Downloads
- Downloads (Last 12 months)47
- Downloads (Last 6 weeks)6
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in