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 |
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 DOI | ||
09:35 30mResearch paper | Inferring Typing Rules for Contextual Sugars PEPM Tailai Yu Peking University, Zhichao Guan Peking University, Di Wang Peking University, Zhenjiang Hu Peking University DOI | ||
10:05 15mShort-paper | S4 modal sequent calculus as intermediate logic and intermediate language (Short Paper) PEPM File Attached | ||
10:20 15mShort-paper | Epistemic Logic for Polyglots (Short Paper) PEPM File Attached | ||