Sun 4 Nov 2018 15:30 - 15:50 at Longfellow - Types in Grace (continued)

An obviously desirable goal, when mixing static and dynamic typing, is that the static and dynamic checks should do the same thing. We discuss why we cannot achieve this goal in Grace — and indeed in any language in which type information is optional — and consider various compromises.

Sun 4 Nov

grace-2018-papers
15:30 - 16:15: GRACE 2018 - Types in Grace (continued) at Longfellow
grace-2018-papers15:30 - 15:50
Talk
Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
Link to publication
grace-2018-papers15:50 - 16:15
Other