Search results

Jump to navigation Jump to search

  • Video presentations/Haskell Symposium 2008
    : Tristan O. R. Allwood, Susan Eisenbach
    4 KB (463 words) - 22:58, 7 December 2008
  • Zeno
    ...c.ic.ac.uk/~scd/ Sophia Drossopoulou] and [http://www.doc.ic.ac.uk/~susan/ Susan Eisenbach]. It aims to solve the general problem of equality between two Ha
    8 KB (1,368 words) - 15:52, 22 February 2012
  • Applications and libraries/Theorem provers
    ...oped at Imperial College London by William Sonnex, Sophia Drossopoulou and Susan Eisenbach. It aims to solve the general problem of equality between two Has
    6 KB (926 words) - 12:12, 16 January 2022
  • AngloHaskell/2008
    * Susan Eisenbach (Friday only)
    11 KB (1,801 words) - 09:22, 23 May 2022
Retrieved from "https://wiki.haskell.org/Special:Search"