Login / Signup
Martin Carlé
Publication Activity (10 Years)
Years Active: 2010-2015
Publications (10 Years): 0
Top Topics
Functional Programming
Expressive Power
Theoretical Basis
Temporal Logic
Top Venues
ICMC
J. Log. Comput.
</>
Publications
</>
Liesbeth De Mol
,
Martin Carlé
,
Maarten Bullynck
Haskell before Haskell: an alternative lesson in practical logics of the ENIAC.
J. Log. Comput.
25 (4) (2015)
Martin Carlé
SYSTab: A proactive real-time expert system for ancient Greek music theory and notation.
ICMC
(2014)
Andrew J. Milne
,
Martin Carlé
,
William A. Sethares
,
Thomas Noll
,
Simon Holland
Scratching the Scale Labyrinth.
MCM
(2011)
Liesbeth De Mol
,
Maarten Bullynck
,
Martin Carlé
Haskell before Haskell: Curry's Contribution to Programming (1946-1950).
CiE
(2010)