https://e-sygoing.link Latest links in the Miranda category en-us Wed, 10 Jun 2026 04:49:01 -0400 https://e-sygoing.link/link/5650083-miranda-in-isabelle Article by Steve Hill and Simon Thompson. Thu, 11 Sep 2025 15:02:08 -0400 https://e-sygoing.link/go/5650083 https://e-sygoing.link/link/5650078-an-overview-of-miranda Article by David Turner. Wed, 04 Jun 2025 06:56:34 -0400 https://e-sygoing.link/go/5650078 https://e-sygoing.link/link/5650084-a-logic-for-miranda-revisited Article by Simon Thompson. Mon, 02 Jun 2025 12:15:22 -0400 https://e-sygoing.link/go/5650084 https://e-sygoing.link/link/5650076-programming-with-miranda A brief information about book by Chris Clack, Colin Myers and Ellen Poon (published in 1994). Wed, 12 Feb 2025 12:42:15 -0500 https://e-sygoing.link/go/5650076 https://e-sygoing.link/link/5650081-miranda-the-craft-of-functional-programming By Simon Thompson; Addison-Wesley, 1995, ISBN 0201422794. Grouped in 3 parts: foundation programming by basic types and lists, twin ideas of higher-order functions and polymorphism, larger-scale programming. [University of Kent] Mon, 02 Sep 2024 17:18:26 -0400 https://e-sygoing.link/go/5650081 https://e-sygoing.link/link/5650082-from-act-one-to-miranda-a-translation-experiment Article by Nathan Charles and Howard Bowman and Simon Thompson. Sat, 13 Jul 2024 11:56:11 -0400 https://e-sygoing.link/go/5650082 https://e-sygoing.link/link/5650077-miranda-the-craft-of-functional-programming Descriptions, reviews, purchase source. [Amazon.com] Fri, 09 Feb 2024 00:13:30 -0500 https://e-sygoing.link/go/5650077 https://e-sygoing.link/link/5650080-programming-language-semantics-using-miranda By Simon Thompson. Technical report, abstract and download, gzipped PostScript file. [University of Kent] Mon, 19 Jun 2023 12:39:32 -0400 https://e-sygoing.link/go/5650080