Search results
Jump to navigation
Jump to search
Page title matches
- ===Equational reasoning=== ...ages often claimed for pure functional languages is the ease of equational reasoning, enabled by [[referential transparency]] and being able to replace equals b6 KB (833 words) - 00:02, 6 November 2021
- ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc4 KB (633 words) - 06:14, 8 June 2023
Page text matches
- #redirect [[Haskell Equational Reasoning Assistant]]87 bytes (10 words) - 06:13, 8 June 2023
- #REDIRECT[[Haskell Equational Reasoning Assistant]]86 bytes (10 words) - 06:24, 8 June 2023
- ===Equational reasoning=== ...ages often claimed for pure functional languages is the ease of equational reasoning, enabled by [[referential transparency]] and being able to replace equals b6 KB (833 words) - 00:02, 6 November 2021
- * [https://okmij.org/ftp/Haskell/index.html#lazyIO-not-True equational reasoning] (<code>unsafeInterleaveIO</code>),1 KB (206 words) - 12:27, 8 June 2023
- ...chell.blogspot.com/2007/07/equational-reasoning-in-haskell.html Equational Reasoning in Haskell]3 KB (362 words) - 18:49, 20 May 2013
- ...sites/default/files/HERMIT-Submitted.pdf Introducing the HERMIT Equational Reasoning Framework]<br>2 KB (349 words) - 13:42, 17 December 2012
- ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc4 KB (633 words) - 06:14, 8 June 2023
- Tools for formal reasoning, written in Haskell. ...matel is a prover based on many-sorted term rewriting (TRW) and equational reasoning6 KB (926 words) - 12:12, 16 January 2022
- ...ctures, we have sets equipped with operations that are expected to satisfy equational laws. ...old for the generated structure are those that are required to hold by the equational laws for structures of that type.13 KB (2,245 words) - 15:18, 6 February 2021
- ...alworld/era.html Equational Reasoning Assistant] (see [[Haskell Equational Reasoning Assistant]]), <dt>[http://www.haskell.org/dumatel Dumatel], a prover based on equational reasoning14 KB (2,263 words) - 06:31, 10 August 2022
- ...ncy, and both Haskell programmers and the GHC compiler exercise equational reasoning that requires replacing terms with equal terms, using a notion of equality5 KB (865 words) - 18:26, 21 November 2013
- ;[[Haskell Equational Reasoning Assistant]] ...oth design and implementation. This page introduces the Haskell Equational Reasoning Assistant (HERA), an architecture that provides both a GUI level and a batc19 KB (2,935 words) - 13:50, 22 August 2022
- ...[referential transparency]]''' and makes possible to conduct '''equational reasoning''' on the code. For instance if <hask>y = f x</hask> and <hask>g = h y y</h7 KB (1,116 words) - 13:17, 1 October 2021
- ...ed [[referential transparency]] and makes possible to conduct ''equational reasoning'' on the code. For instance if <hask>y = f x</hask> and <hask>g = h y y</ha9 KB (1,323 words) - 22:19, 10 May 2024
- ;[[Haskell Equational Reasoning Assistant]] ...diseño como la implementación. Esta página introduce el Haskell Equational Reasoning Assistant (HERA), o Asistente de Razonamiento Ecuacional para Haskell, una23 KB (3,794 words) - 02:27, 26 March 2008
- ...Equational Reasoning Assistant]], as well as simplify the specification of equational relationships between pieces of code. There was a quicktime movie of the to30 KB (4,551 words) - 00:29, 15 June 2023
- equational reasoning.27 KB (3,675 words) - 12:12, 13 January 2007
- -- The definition used below can be obtained by equational reasoning from this -- The definition used below can be obtained by equational reasoning from this133 KB (20,540 words) - 08:31, 13 December 2009
- of reasoning is lost (we still know that each function is dependent only upon ...ly restricts the ability to use [[Equational reasoning examples|equational reasoning]].62 KB (9,247 words) - 20:23, 15 June 2024
- ...ls. From core elements like types, Venn diagrams and logic, to patterns of reasoning, sequent calculus, recursion and algebraic data types, the book spans the b ...derlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them mor53 KB (7,703 words) - 13:28, 28 March 2024