Skip to main content

Publications

Found 1 results

Filters: Keyword is type theory  [Clear All Filters]
2001
Csörnyei, Z., L. Kovács, and G. Légrádi, "Purely Functional Programming and the Object-oriented Inheritance and Type Theory", 5th International Conference of Applied Informatics, Eger, Hungary, Jan 28-Feb 3, 2001.