Dear Raoul,
for the older stuff on type checking,
see the Phd thesis of Martin Müller.
http://www.ps.uni-saarland.de/Papers/abstracts/Diss-Mueller.html
For a strongly typed version of a Mozart
motivated language see Alice ML:
http://www.ps.uni-saarland.de/alice/
All the best
Joachim
Quoting Raoul Duke <[email protected]>:
hi,
perusing the archives, it seems like there has been work towards
exposing/implementing some forms of static type checking for Oz. is
there any current project or plan along those lines?
thanks.
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
