The slides for my Reasoning on the Web summer school tutorial are available: http://www.cs.man.ac.uk/~bparsia/2006/row-tutorial/ Note this is more a "thinking about the language" tutorial than a "how to use the language" one. It does talk about various scoping and distinctness issues, which someone might find useful :) Cheers, Bijan.Received on Monday, 28 August 2006 14:40:55 UTC
This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:00:51 UTC