Portal de Periódicos da CAPES

Haskell before Haskell: an alternative lesson in practical logics of the ENIAC

2013; Oxford University Press; Volume: 25; Issue: 4 Linguagem: Inglês

10.1093/logcom/exs072

1465-363X

Liesbeth De Mol, Martin Carlé, Maarten Bullynck,

Computability, Logic, AI Algorithms

Journal Article Haskell before Haskell: an alternative lesson in practical logics of the ENIAC Get access Liesbeth De Mol, Liesbeth De Mol Center for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, 9000 Gent, Belgium. Search for other works by this author on: Oxford Academic Google Scholar Martin Carlé, Martin Carlé 15 Odos Leukados, 11362 Athens, Greece. Search for other works by this author on: Oxford Academic Google Scholar Maarten Bullynck Maarten Bullynck Université Paris VIII, Vincennes Saint-Denis. Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 25, Issue 4, August 2015, Pages 1011–1046, https://doi.org/10.1093/logcom/exs072 Published: 22 January 2013 Article history Received: 06 December 2010 Published: 22 January 2013