500 citations
- Massachusetts Institute of TechnologyUS178 papers
- California Institute of TechnologyUS171 papers
- University of California SystemUS170 papers
- Universität HamburgDE168 papers
- Tsinghua UniversityCN166 papers
- Universidad Autónoma de MadridES166 papers
- University of FloridaUS166 papers
- University of ZurichCH166 papers
- Fermi National Accelerator LaboratoryUS164 papers
- University of Minnesota SystemUS164 papers
- Peking UniversityCN163 papers
- Princeton UniversityUS163 papers
6 papers · 1 filter
An Enumerative Embedding of the Python Type System in ACL2s
Samuel Xifaras, Panagiotis Manolios, Andrew T. Walter +1
Python is a high-level interpreted language that has become an industry standard in a wide variety of applications. In this paper, we take a first step towards using ACL2s to reaso…
String Diagrams with Factorized Densities
Eli Sennesh, Jan-Willem van de Meent
A growing body of research on probabilistic programs and causal models has highlighted the need to reason compositionally about model classes that extend directed graphical models.…
Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
Julia Belyakova
Semantic subtyping enables simple, set-theoretical reasoning about types by interpreting a type as the set of its values. Previously, semantic subtyping has been studied primarily…
Design and Implementation of Probabilistic Programming Language Anglican
David Tolpin, Jan Willem van de Meent, Hongseok Yang +1
Anglican is a probabilistic programming system designed to interoperate with Clojure and other JVM languages. We introduce the programming language Anglican, outline our design cho…
Type Classes for Lightweight Substructural Types
Edward Gan, Jesse A. Tov, Greg Morrisett
Linear and substructural types are powerful tools, but adding them to standard functional programming languages often means introducing extra annotations and typing machinery. We p…
Database Queries that Explain their Work
James Cheney, Amal Ahmed, Umut A. Acar
Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to c…