Brent A. Yorgey

According to our database, Brent A. Yorgey authored at least 11 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Disco: A Functional Programming Language for Discrete Mathematics.

Brent A. Yorgey

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

2018

What's the difference? a functional pearl on subtracting bijections.

Brent A. Yorgey, Kenneth Foner

Proc. ACM Program. Lang., 2018

FARM 2018 demo summary.

Brent A. Yorgey, Donya Quick

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art, 2018

2016

How to twist pointers without breaking them.

Satvik Chauhan, Piyush P. Kurur, Brent A. Yorgey

Proceedings of the 9th International Symposium on Haskell, 2016

2015

Polynomial Functors Constrained by Regular Expressions.

Dan Piponi, Brent A. Yorgey

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Diagrams: a functional EDSL for vector graphics.

Ryan Yates, Brent A. Yorgey

Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, 2015

2014

Making induction meaningful, recursively (abstract only).

Peter-Michael Osera, Brent A. Yorgey

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2012

Giving Haskell a promotion.

Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Monoids: theme and variations <i>(functional pearl)</i>.

Brent A. Yorgey

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Binders unbound.

Stephanie Weirich, Brent A. Yorgey, Tim Sheard

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Species and functors and types, oh my!

Brent A. Yorgey

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010