Brent A. Yorgey

Hendrix College
Department of Mathematics and Computer Science
MC Reynolds 310 / Virtual office
501-450-1377
Email: last name at hendrix.edu
  (note I typically do not read email from 6am-2pm)
Mastodon
Curriculum vitae

Office hours
Whenever my door is open, or by appointment.
Make an appointment Submit anonymous feedback
Programming Team Borrow a book

Discrete PL


Current links

Here’s what I’m up to right now.

Students: Want to ask me for a letter of reference? Read this guide.

Here are my opinionated tips on being a successful remote learner.

Students: interested in doing an independent study or research project related to functional programming or the intersection of discrete mathematics and CS? Here are some suggestions.

News and announcements

24 August, 2023

My paper, Disco: A Functional Programming Language for Discrete Mathematics, has been published in the proceedings of TFPIE23.

30 June, 2021

I am on sabbatical for the Fall 2021 semester.

26 September, 2018

Kenny Foner and I published a paper, What’s the Difference? A Functional Pearl on Subtracting Bijections, at ICFP 2018. Here’s the talk I gave.

About me

I am an associate professor in the Department of Mathematics and Computer Science at Hendrix College in Conway, Arkansas, USA. My research interests lie broadly within the fields of programming languages and discrete mathematics, with particular interests in functional programming languages, embedded domain-specific languages, category theory, combinatorics, and education.

I graduated from Williams College in 2004, and obtained my PhD at the University of Pennslyvania in 2014, as part of the Penn PL Club and under the supervision of Dr. Stephanie Weirich.


Note: As a matter of personal discipline I often do not check my email before 3pm. If you need to contact me and it's important that I get your message before 3pm, call me or talk to me in person.

Note to headhunters: I am not interested in positions in industry, especially in the financial sector. Please don't contact me about job opportunities.