Web Directory
 

A Logic for Miranda, Revisited

  Link Details for: A Logic for Miranda, Revisited
Link Title: A Logic for Miranda, Revisited Open in a new window
Link URL: http://www.cs.kent.ac.uk/pubs/1995/63/
Link Details: Article by Simon Thompson.
Category: Top : Computers : Programming : Languages : Miranda
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
A Logic for Miranda, Revisited