• Iroda: ELTE Déli tömb, 2.620-as szoba

Course material

• Rinus Plasmeijer’s presentations
• Haskell feladatok

Recent presentations

• Implicit generalization in Agda
• Típuselmélet előadás diák

Research

Jelenlegi kutatási terület / current activity:

• Interaktív programok leírása típuselmélettel / Describing interactive programs in type theory

Kapcsolódó korábbi kutatás / related past activity:

• Interaktív programok leírása Haskellben / Describing interactive programs in Haskell

Publications

publications.pdf
BibTeX file