Search results

Jump to navigation Jump to search

  • Hu/Haskell
    Budapest, Hungary {abel, gsd}@elte.hu http://abel.web.elte.hu/mpllibs/metamonad/index.html
    1 KB (177 words) - 11:09, 12 November 2011
  • Research papers/Authors
    *[http://www2.tcs.ifi.lmu.de/~abel/ Andres Abel]
    8 KB (1,251 words) - 05:43, 1 September 2022
  • Research papers/Testing and correctness
    ;[http://www.tcs.informatik.uni-muenchen.de/~abel/haskell05.pdf Verifying Haskell Programs Using Constructive Type Theory] :Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell. Proceedings of the 2005 A
    11 KB (1,480 words) - 16:36, 1 August 2021
  • Research papers/Data structures
    : A. Abel, R. Matthes, T. Uustalu. Theor. Comput. Sci., v. 333, n. 1-2, pp. 3-66, 20
    14 KB (1,953 words) - 00:54, 5 June 2022
Retrieved from "https://wiki.haskell.org/Special:Search"