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 Nov Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00: The State of GraceGRACE at Longfellow Chair(s): James NobleVictoria University of Wellington | |||
10:35 - 10:50 Demonstration | A Tour of Grace GRACE Andrew BlackPortland State University | ||
10:50 - 11:00 Talk | Early Experience with Grace at Pomona College GRACE Link to publication | ||
11:00 - 11:10 Talk | Teaching programming with Grace at Portland State GRACE Link to publication | ||
11:15 - 11:25 Talk | Multi-Device Grace GRACE P: Craig AnslowVictoria University of Wellington, Ben Selwyn-Smith, Michael HomerVictoria University of Wellington | ||
11:30 - 11:40 Talk | Newspeak and Truffle: A Platform for Grace? GRACE P: Stefan MarrUniversity of Kent, James NobleVictoria University of Wellington, Richard RobertsVictoria University of Wellington Pre-print | ||
11:45 - 11:50 Talk | SmallGrace: Grace in Pharo Smalltalk GRACE Andrew BlackPortland State University |
13:30 - 13:50 Talk | KafKa: Gradual Typing for Objects GRACE Benjamin W ChungNortheastern University Link to publication | ||
14:00 - 14:20 Talk | Three approaches to Gradual Typing GRACE Ben GreenmanNortheastern University, USA, A: Preston Tunnell WilsonBrown University, USA, A: Justin PombrioBrown University, USA, A: Shriram KrishnamurthiBrown University, USA | ||
14:30 - 14:50 Talk | Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing GRACE Timothy JonesMontoux |
15:30 - 15:50 Talk | Static & Dynamic Typing in Grace GRACE P: Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington Link to publication | ||
15:50 - 16:15 Other | Discussion on types in Grace GRACE |
16:15 - 17:00 Meeting | The Future of Grace GRACE |