Search results

• The I/O problem
  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
• Books
  ...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 mor
  53 KB (7,703 words) - 13:28, 28 March 2024
• News/2007
  ...a small intro lesson] on proving Haskell code using quickcheck, equational reasoning and Isabelle/HOL.</p></li>
  78 KB (11,405 words) - 03:19, 11 February 2008
• IO inside
  ...senses of <code>safe</code>/<code>unsafe</code> (like breaking equational reasoning vs. invoking undefined behaviour (so can corrupt the run-time system))
  82 KB (13,140 words) - 09:07, 3 May 2024

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)