Open AccessWorkshop on Mathematically Structured Functional Programming (MSFP 2006) - Index
Author(s) -
Conor McBride,
Tarmo Uustalu
Publication year - 2006
Publication title -
electronic workshops in computing
Language(s) - Uncategorized
Resource type - Conference proceedings
ISSN - 1477-9358
DOI - 10.14236/ewic/msfp2006.0
Subject(s) - presentation (obstetrics) , computer science , functional programming , index (typography) , library science , mathematical proof , publishing , operations research , programming language , mathematics , political science , medicine , law , radiology , geometry