activity
20152026
most citedSemantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

113 citations · 319 across the 18 of their papers we have counts for

collaborators
Showing 2023Show all

2 papers · 1 filter

cs.PL2023★ 2 cited

Frex: dependently-typed algebraic simplification

Guillaume Allais, Edwin Brady, Nathan Corbyn +2

We present a new design for an algebraic simplification library structured around concepts from universal algebra: theories, models, homomorphisms, and universal properties of free…

cs.PL2023★ 1 cited

Idris TyRE: a dependently typed regex parser

Ohad Kammar, Katarzyna Marek

Regular expressions -- regexes -- are widely used not only for validating, but also for parsing textual data. Generally, regex parsers output a loose structure, e.g. an unstructure…