Brent A. Yorgey

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 6

Top Topics

Vector Graphics

Denotational Semantics

Deterministic Finite Automata

Top Venues

Proc. ACM Program. Lang.

Publications

Brent A. Yorgey
Disco: A Functional Programming Language for Discrete Mathematics. CoRR (2023)
Brent A. Yorgey, Donya Quick
FARM 2018 demo summary. FARM@ICFP (2018)
Brent A. Yorgey, Kenneth Foner
What's the difference? a functional pearl on subtracting bijections. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey
How to twist pointers without breaking them. Haskell (2016)
Ryan Yates, Brent A. Yorgey
Diagrams: a functional EDSL for vector graphics. FARM@ICFP (2015)
Dan Piponi, Brent A. Yorgey
Polynomial Functors Constrained by Regular Expressions. MPC (2015)
Peter-Michael Osera, Brent A. Yorgey
Making induction meaningful, recursively (abstract only). SIGCSE (2014)
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
Giving Haskell a promotion. TLDI (2012)
Brent A. Yorgey
. Haskell (2012)
Stephanie Weirich, Brent A. Yorgey, Tim Sheard
Binders unbound. ICFP (2011)
Brent A. Yorgey
Species and functors and types, oh my! Haskell (2010)