1 option
TyDe '17 : proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development : September 3, 2017, Oxford, UK / edited by Sam Lindley and Brent Yorgey ; sponsored by ACM SIGPLAN.
- Format:
- Book
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers)--Congresses.
- Programming languages (Electronic computers).
- Computer programs--Congresses.
- Computer programs.
- Functional programming (Computer science)--Congresses.
- Functional programming (Computer science).
- Physical Description:
- 1 online resource (40 pages)
- Other Title:
- Type-Driven Development 2017 : proceedings of the 2nd Association for Computing Machinery Special Interest Group on Programming Languages International Workshop on Type-Driven Development : September 3, 2017, Oxford, UK
- Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development
- Proceedings of the 2nd Association for Computing Machinery Special Interest Group on Programming Languages International Workshop on Type-Driven Development
- Place of Publication:
- New York : ACM, 2017.
- Notes:
- Includes index.
- Description based on: online resource; title from pdf title page (ACM Digital Library, viewed August 23, 2018).
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.