This program is tentative and subject to change.
Tue 13 Jan 2026 10:20 - 10:35 at Salle 19 - Types and logics
A pattern in programming is to stitch together code from disparate programming languages to build a complex program. This pattern is a manifestation of multilanguage computation, a subject concerning the interoperation of languages in a greater system. We discuss ongoing work in developing a type system for multilanguage computation in the propositions-as-types discipline, drawing types from epistemic modal logic.
| Epistemic Logic for Polyglots (Epistemic_Logic_for_Polyglots.pdf) | 529KiB |
This program is tentative and subject to change.
Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 5mDay opening | Welcome PEPM | ||
09:05 30mResearch paper | Hole Refinements for Polymorphic Type-and-Example Driven Synthesis PEPM Niek Mulleners Utrecht University, Johan Jeuring Utrecht University, Wouter Swierstra Utrecht University, Netherlands | ||
09:35 30mResearch paper | Inferring Typing Rules for Contextual Sugars PEPM Tailai Yu Tsinghua University, Zhichao Guan Peking University, Di Wang Peking University, Zhenjiang Hu Peking University | ||
10:05 15mShort-paper | S4 modal sequent calculus as intermediate logic and intermediate language (Short Paper) PEPM | ||
10:20 15mShort-paper | Epistemic Logic for Polyglots (Short Paper) PEPM File Attached | ||