Tom Schrijvers

ProbLog and applicative probabilistic programming

2017 · Lirias

Probabilistic Programming Languages (PPLs) have a long history in both the functional (e.g., Anglican) and logic programming (e.g., ProbLog) paradigms. Unfortunately these efforts have been conducted mostly in isolation and little is known about the …

Consistent Subtyping for All

2019 · ACM Transactions on Programming Languages and Systems

Consistent subtyping is employed in some gradual type systems to validate type conversions. The original definition by Siek and Taha serves as a guideline for designing gradual type systems with subtyping. Polymorphic types à la …