Mateusz Pyzik

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

• A general fine-grained reduction theory for effect handlers
• Reflecting stacked continuations in a fine-grained direct-style reduction theory
• A reflection on continuation-composing style