new syntax for datatypes

From: Ian Horrocks ([email protected])
Date: 02/15/01

Next message: Dan Connolly: "Re: new syntax for datatypes"
Previous message: Peter Patel-Schneider: "new syntax for datatypes"
Next in thread: Dan Connolly: "Re: new syntax for datatypes"
Reply: Dan Connolly: "Re: new syntax for datatypes"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Further to Peter's earlier email about the new proposal, I have now
updated the web site with the new language specification, semantics
and example files:

    http://www.cs.man.ac.uk/~horrocks/DAML+OIL/Datatypes/

After my recent reprimand I remembered to keep the previous version
online:

    http://www.cs.man.ac.uk/~horrocks/DAML+OIL/Datatypes-jan-01/

Regards, Ian

Next message: Dan Connolly: "Re: new syntax for datatypes"
Previous message: Peter Patel-Schneider: "new syntax for datatypes"
Next in thread: Dan Connolly: "Re: new syntax for datatypes"
Reply: Dan Connolly: "Re: new syntax for datatypes"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/02/02 EST