56 posts in total

---

2023

09-08

The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 Observations and Gained Insights

08-16

Timetable of Well-known Conferences in Different Subdomains of Computer Science

07-21

ISSTA/ECOOP 2023 Observations and Gained Insights

05-09

PNW PLSE Workshop 2023 Observations and Gained Insights

03-25

Paper Reading: Sized Types

03-19

Paper Reading: Refinement Types

03-06

Paper Reading: How to make ad-hoc polymorphism less ad-hoc

02-26

Paper Reading: "Types and Programming Languages" Chapter 22

02-10

Paper Reading: "Types and Programming Languages" Chapter 15 and Chapter 16

02-05

Paper Reading: "Types and Programming Languages" Chapter 13 and Chapter 14