About [me]:
Hi, I'm Maite! I'm a first-year master's student at the University of Toronto, supervised by Prof. Ningning Xie. Previously, I did my undergrad at McGill University. My research interests are generally in type systems and functional programming. In my spare time, I enjoy watching movies, baking bread, and photography.
About [movies]:
I watch a lot of movies, and regrettably this has lead to my developing opinions on them. These are some of my favorites.
All-time
- Persona (1966) dir. Ingmar Bergmann
- Portrait of a Lady on Fire (2019) dir.
Celine Sciamma
- Fire Walk With Me (1992) dir. David Lynch
- Sweet Smell of Success (1957) dir. Alexander Mackendrick
2024
- The Substance (2023) dir. Coralie Fargeat
2023
- Do Not Expect Too Much from the End of the World (2023) dir. Radu Jude
- Anatomy of a Fall (2023) dir. Justine Triet
- May December (2023) dir. Todd Haynes
About [photography]:
I take pictures sometimes! I use a Minolta SRT-100, and whatever roll of film seems neat when I'm in the store. Some of my photos can be found here.
About [other]:
Thanks for visiting my website!
News:
June 2024: I've graduated with a Bachelor of Arts from McGill University!
May 2024: Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs was accepted at ICFP 2024.
Publications:
-
Story of Your Lazy Function's Life: A Bidirectional
Demand Semantics for Mechanized Cost Analysis of
Lazy Programs.
Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp,
Koen Claessen, Stephanie Weirich, and Yao Li.
ICFP 2024 [paper] [artifact]