Advances in Type Systems for Computing.
Abstract
The Advances in Type Systems for Computing (ATSC) Eurocconference was held at the Isaac Newton Institute in Cambridge from August 14 through 18, 1995. The main topic of the conference was the development and use of type systems for programming languages. The reason for interest in type systems is that types are the fundamental systems of 'units' for computer programming, analogous to meters, joules and kilograms in physics. Type systems for programming languages make it possible to perform simple checks on computer programs and detect certain forms of errors before the programs are executed. Type systems are also an important part of software system design, particularly in design procedures that involve breaking a complex systems into separate parts. The ATCS conference program consisted of invited lectures, contributed papers, and on-the-spot contributions to impromptu sessions that were organized during the meeting. There were a total of 73 attendees, including 24 scientific visitors to the Newton Institute, 3 outside invited speakers, and 24 authors of contributed talks.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 28, 1996
- Accession Number
- ADA310227
Entities
People
- John C. Mitchell
Organizations
- Stanford University