ST /

STWinterMeeting2014Session2

Chair: Mary

11:00Jeremy Gibbons (Oxford)Folding Domain-Specific Languages: Deep and Shallow Embeddings
11.20David Christiansen (ITU, Copenhagen)Improving Error Messages from Embedded DSLs in Idris
11.35Emil AxelssonAutomata-based manipulation of abstract syntax graphs
11.50Cezar IonescuThe Notion of Proof in Shakespeare's Othello
12.10Jean-Philippe BernardyLinear Logic = Parallel Lambda Calculus