Advances in Type Systems for Computing.
Final technical rept. 1 May-31 Dec 95,
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software