]> hydra-www.ietfng.org Git - dyna2/commit
projects / dyna2 / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e3be261) | patch
Some bits of Overton's mode system for Mercury
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 7 Feb 2013 08:47:36 +0000 (03:47 -0500)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Thu, 7 Feb 2013 08:47:36 +0000 (03:47 -0500)
commitcb280b867e0990a6c8a4ac1043a74c4caf439632
tree79f4d17b0ed1d1d4a6ad3974a11480beed657099tree | snapshot
parente3be26110a46a8b08cc1b122154c05027fefe5a9commit | diff
Some bits of Overton's mode system for Mercury

The beginnings of a re-implementation of Mercury's mode system, as described
in: David Overton. Precise and Expressive Mode Systems for Typed Logic
Programming Languages.  University of Melbourne, Department of Computer
Science and Software Engineering.  Ph.D. thesis. December, 2003.
<http://www.mercury.csse.unimelb.edu.au/information/papers.html#dmo-thesis>
src/Dyna/Analysis/Mode/Det.hs [new file with mode: 0644] blob
src/Dyna/Analysis/Mode/Inst.hs [new file with mode: 0644] blob
src/Dyna/Analysis/Mode/Uniq.hs [new file with mode: 0644] blob