• View
• Edit
• History
• Print

STWinterMeeting2014Session2

Chair: Mary

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