Search results

• Hac4/Attendees
  | Koen Claessen | koen
  2 KB (267 words) - 13:14, 17 December 2012
• Research papers/Domain specific languages
  ;[http://www.cs.chalmers.se/~koen/pubs/charme01-sorter.pdf The Design and Verification of a Sorter Core] :Koen Claessen, Mary Sheeran, and Satnam Singh. In Proc. of Conference on Correct
  9 KB (1,309 words) - 07:48, 18 September 2014
• HaskellSymposium/2012
  <i>Koen Claessen</i>
  2 KB (349 words) - 13:42, 17 December 2012
• Embedded domain specific language
  * Koen Classen: [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.4053 O * Emil Axelsson and Koen Claessen: [http://www.cse.chalmers.se/~emax/documents/axelsson2013using.pdf
  5 KB (616 words) - 10:22, 10 June 2021
• Introduction to QuickCheck2
  ...ntry-tt04-quickcheck.html QuickCheck: Specification-based Random Testing], Koen Claessen. Presentation at Summer Institute on Trends in Testing: Theory, Te ...bs/entry-fop-quickcheck.html Specification Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fu
  8 KB (1,214 words) - 00:46, 23 October 2017
• Research papers/Testing and correctness
  ;[http://www.cs.chalmers.se/~koen/pubs/afp02-quickcheck.ps Testing and Tracing Lazy Functional Programs Using :Koen Claessen, Colin Runciman, Olaf Chitil, and John Hughes. In Advanced Functio
  11 KB (1,480 words) - 16:36, 1 August 2021
• Video presentations/Haskell Symposium 2008
  : Alejandro Russo, Koen Claessen and John Hughes
  4 KB (463 words) - 22:58, 7 December 2008
• Ru/Introduction to QuickCheck
  ...s QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs], Koen Claessen and John Hughes. In Proc. of International Conference on Functiona ...bs/entry-fop-quickcheck.html Specification Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fu
  11 KB (553 words) - 07:45, 2 July 2013
• Introduction to QuickCheck1
  ...on.cfm?doid=351240.351266 QuickCheck: Specification-based Random Testing], Koen Claessen. Presentation at Summer Institute on Trends in Testing: Theory, Te ...mcad11/slides/tutorial-a.pdf Specification Based Testing with QuickCheck], Koen Claessen and John Hughes. In Jeremy Gibbons and Oege de Moor (eds.), The Fu
  8 KB (1,186 words) - 20:49, 28 May 2021
• Cn/WxHaskell
  ...fp/ Advanced Functional Programming], by [http://www.cs.chalmers.se/~koen/ Koen Lindström Claessen] and [http://www.cs.chalmers.se/~bringert/ Björn Bring
  4 KB (581 words) - 10:16, 23 February 2009
• The Monad.Reader/Issue5/Software Testing With Haskell
  QuickCheck was written by Koen Claessan and John Hughes, and is available from Chalmers at http://www.cs.c
  4 KB (683 words) - 03:10, 10 May 2008
• News/1999
  <p><em>Unix.hs</em>. Koen Claessen
  9 KB (1,274 words) - 12:10, 13 January 2007
• Research papers/Authors
  *[http://www.cs.chalmers.se/~koen/pubs/ Koen Claessen]
  8 KB (1,251 words) - 05:43, 1 September 2022
• Research papers/Functional pearls
  ...45/3406088.3409026 Finger Trees explained anew, and slightly simplified] - Koen Claessen. ...se/edu/course/afp/Papers/parser-claessen.pdf Parallel Parsing Processes] - Koen Claessen.
  20 KB (2,961 words) - 16:50, 6 February 2024
• WxHaskell
  ...ml Advanced Functional Programming], by [http://www.cse.chalmers.se/~koen/ Koen Lindström Claessen] and [http://www.cse.chalmers.se/alumni/bringert/ Björ
  9 KB (1,259 words) - 13:40, 5 May 2018
• Cn/WxHaskell/Quick start
  ...t of all to make my job easier by reusing [http://www.cs.chalmers.se/~koen Koen Claessen's] excellent example, but also since it makes an interesting compa
  14 KB (1,561 words) - 15:17, 23 February 2009
• Links
  ...aff/oc/ Olaf Chitil], University of Kent,[http://www.cs.chalmers.se/~koen/ Koen Claessen], Chalmers University of Technology, [http://www.dcs.gla.ac.uk/~gr
  11 KB (1,759 words) - 09:41, 10 August 2022
• Applications and libraries/Operating system
  :Koen Claessen's binding to common unix functions.
  11 KB (1,663 words) - 19:17, 15 August 2019
• Research papers/Generics
  :Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen. In Proceedings of ESOP 2010, volume 6012 of LNCS. Springer, 2010.
  15 KB (1,992 words) - 19:49, 26 May 2022
• WxHaskell/Quick start
  ...t of all to make my job easier by reusing [http://www.cs.chalmers.se/~koen Koen Claessen's] excellent example, but also since it makes an interesting compa
  14 KB (2,248 words) - 15:18, 6 February 2021

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