terru
a cat that's somehow found itself as a PhD student. Interested in formal logic, interactive theorem provers (esp. Isabelle/HOL), and code generation. Nya! :3
it/its
Beitrag
21.06
14:45
60min
PL theory & co meetup
terru, Christina
Programming languages are a core tool of what we as hackers work with, but their design, implementation, and properties are also a field of scientific study, frequently called "PL theory", which deals with program semantics, verification (etc.) and often also overlaps with other fields of mathematics and logic (type theory, category theory, etc.).
Meetup
Blauer Salon