Web Directory

    Top: Computers: Programming: Languages: Miranda:

 

Miranda in Isabelle

  Link Details for: Miranda in Isabelle
Link Title: Miranda in Isabelle Open in a new window
Link URL: http://www.cs.kent.ac.uk/pubs/1995/209/
Link Details: Article by Steve Hill and 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:
Miranda in Isabelle