Logo Uczelnia Badawcza
Logo Arqus
Logo Unii Europejskiej

Mateusz Pyzik


pl. Uniwersytecki

Zainteresowania

  • reduction
  • delimited continuation
  • reflection
  • lambda calculus
  • delimited control
  • continuation passing style
  • computational lambda calculus
  • normalization
  • algebraic effect
  • call by value lambda calculus

Dyscyplina naukowa

  • informatyka

Najnowsze publikacje

Projekt „Zintegrowany Program Rozwoju Uniwersytetu Wrocławskiego 2018-2022” współfinansowany ze środków Unii Europejskiej z Europejskiego Funduszu Społecznego

NEWSLETTER
E-mail