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

Title
Teaching programming with Grace at Portland State
GRACE
Link to publication
A Tour of Grace
GRACE
Discussion on types in Grace
GRACE
Early Experience with Grace at Pomona College
GRACE
Link to publication
Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing
GRACE
KafKa: Gradual Typing for Objects
GRACE
Link to publication
Multi-Device Grace
GRACE
Newspeak and Truffle: A Platform for Grace?
GRACE
Pre-print
SmallGrace: Grace in Pharo Smalltalk
GRACE
Static & Dynamic Typing in Grace
GRACE
Link to publication
The Future of Grace
GRACE
Three approaches to Gradual Typing
GRACE

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.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

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
15m
Demonstration
A Tour of Grace
GRACE
Andrew BlackPortland State University
10:50
10m
Talk
Early Experience with Grace at Pomona College
GRACE
Andrew BlackPortland State University, P: Kim BrucePomona College
Link to publication
11:00
10m
Talk
Teaching programming with Grace at Portland State
GRACE
P: Andrew BlackPortland State University, Kim BrucePomona College
Link to publication
11:15
10m
Talk
Multi-Device Grace
GRACE
P: Craig AnslowVictoria University of Wellington, Ben Selwyn-Smith, Michael HomerVictoria University of Wellington
11:30
10m
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
5m
Talk
SmallGrace: Grace in Pharo Smalltalk
GRACE
Andrew BlackPortland State University
13:30 - 15:00
Types in GraceGRACE at Longfellow
Chair(s): Kim BrucePomona College
13:30
20m
Talk
KafKa: Gradual Typing for Objects
GRACE
Benjamin W ChungNortheastern University
Link to publication
14:00
20m
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
20m
Talk
Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing
GRACE
15:30 - 16:15
Types in Grace (continued)GRACE at Longfellow
15:30
20m
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
25m
Other
Discussion on types in Grace
GRACE
16:15 - 17:00
The Future of GraceGRACE at Longfellow
16:15
45m
Meeting
The Future of Grace
GRACE
S: James NobleVictoria University of Wellington