Search results
Jump to navigation
Jump to search
- I (Andreas Abel) do not used Data.Pointed, because of its package dependencies.144 bytes (25 words) - 15:09, 24 May 2013
- Budapest, Hungary {abel, gsd}@elte.hu http://abel.web.elte.hu/mpllibs/metamonad/index.html1 KB (177 words) - 11:09, 12 November 2011
- *[http://www2.tcs.ifi.lmu.de/~abel/ Andres Abel]8 KB (1,251 words) - 05:43, 1 September 2022
- ;[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 A11 KB (1,480 words) - 16:36, 1 August 2021
- : A. Abel, R. Matthes, T. Uustalu. Theor. Comput. Sci., v. 333, n. 1-2, pp. 3-66, 2014 KB (1,953 words) - 00:54, 5 June 2022