Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
Eliminating dependent pattern matching
2006
Healfdene GoguenConor McBrideJames McKinna
in: Algebra, meaning, and computation, Dordrecht : Springer
