@第{zbMATH06536762条，作者={De Mol，Liesbeth and Carl，Martin and Bullynck，Maarten}，Title={Haskellbefore{Haskel}：{ENIAC}}实用逻辑的另一节课，FJournal={逻辑与计算杂志}，日志={J.Log.Comput.}，ISSN={0955-792X}，体积={25}，数字={4}，Pages＝{1011-1046}，年份={2015年}，语言={英语}，DOI={10.1093/logcom/exs072}，关键词={68-03,01A70,68N18,68N20,68N30}，zbMATH={6536762}，Zbl={1347.68004}}