Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

From ACT-ONE to Miranda, a Translation Experiment

cs.kent.ac.uk
Visit Site

Article by Nathan Charles and Howard Bowman and Simon Thompson.

Category
Miranda
Visits
340
Added
Jul 13, 2024
Rating
(4)
Rate This Site
More in Miranda Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Miranda: The Craft of Functional Programming 476 visits
Miranda: The Craft of Functional Programming 409 visits
Miranda in Isabelle 278 visits
A Logic for Miranda, Revisited 179 visits
Programming Language Semantics Using Miranda 108 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources