The Grace Object-Oriented Educational Programming Language design project was started at ECOOP 2010 in Slovenia, with the goal of designing a new OO language for teaching and research. Since then, the language design has progressed to the point where Grace has been used for teaching at two universities for a total of 10 courses, and has been the foundation for at least two PhD theses. There are also at least 5 implementations in various stages of completion, including an executable semantic definition.
This workshop — which will be held on Sunday, 4th November 2018 — will allow those with experience using or implementing Grace to share these experiences with the community. The workshop will also provide a forum in which the Grace project can receive feedback on the current design and implementation, and to plan for the future.
The most recent draft of the Grace Language Specification is available here: http://web.cecs.pdx.edu/~grace/doc/lang-spec/
Workshop Schedule
Call for Expressions of Interest
We invite research papers, position papers, experience reports, proposals for language changes, and tool demonstrations in areas such as:
- experience implementing Grace
- experience teaching with Grace
- critiques and feedback on the Grace specification
- proposed extensions to Grace
- lessons that Grace may take from other related language projects (such as Pyret, Racket, BlueJ, Wyvern, Stride, TouchDevelop, TrumpScript etc)
- lessons that Grace may take from language workbench implementation tools
Position papers, language change proposals, research papers, experience reports and proposals for presentations should be submitted using HotCRP. (The submission link is in the box on the right.) The organisers welcome discussion by email of the suitability of proposals for any form of participation in the workshop.
Sun 4 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:35 15mDemonstration | A Tour of Grace GRACE Andrew Black Portland State University | ||
10:50 10mTalk | Early Experience with Grace at Pomona College GRACE Link to publication | ||
11:00 10mTalk | Teaching programming with Grace at Portland State GRACE Link to publication | ||
11:15 10mTalk | Multi-Device Grace GRACE P: Craig Anslow Victoria University of Wellington, Ben Selwyn-Smith , Michael Homer Victoria University of Wellington | ||
11:30 10mTalk | Newspeak and Truffle: A Platform for Grace? GRACE P: Stefan Marr University of Kent, James Noble Victoria University of Wellington, Richard Roberts Victoria University of Wellington Pre-print | ||
11:45 5mTalk | SmallGrace: Grace in Pharo Smalltalk GRACE Andrew Black Portland State University |
13:30 - 15:00 | |||
13:30 20mTalk | KafKa: Gradual Typing for Objects GRACE Benjamin Chung Northeastern University Link to publication | ||
14:00 20mTalk | Three approaches to Gradual Typing GRACE Ben Greenman Northeastern University, USA, A: Preston Tunnell Wilson Brown University, USA, A: Justin Pombrio Brown University, USA, A: Shriram Krishnamurthi Brown University, USA | ||
14:30 20mTalk | Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing GRACE Timothy Jones Montoux |
15:30 - 16:15 | |||
15:30 20mTalk | Static & Dynamic Typing in Grace GRACE P: Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Victoria University of Wellington Link to publication | ||
15:50 25mOther | Discussion on types in Grace GRACE |
16:15 - 17:00 | |||
16:15 45mMeeting | The Future of Grace GRACE |