The impact of software engineering research on modern progamming languages
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.00 |
Rowe: Data typing is a technique that researchers in the various areas use to solve a variety of problems. This session focuses on how types are used in a particular domain to solve particular kinds of problems. The long term goal is to answer the question, what is a type? To begin we will have presentations by representatives from the three areas, AI, DB and PL, on how they see types being used. Mary Shaw will begin and will be followed by Ira Goldstein and Ted Codd.