Brent Yorgey personal blog

Types versus sets in math and programming languages

For several years I have been designing and implementing a functional teaching language especially for use in the context of a Discrete Mathematics course. The idea is for students to be exposed to…
Points
107
HN comments
59
Submissions
1
Cited by
0 commenters

Programming LanguagesMath & Algorithms2021

On Hacker News

SubmittedTitle on HNPointsComments
Jul 25, 2021Types versus sets in math and programming languages by classified10759

More from Brent Yorgey

All 5 posts →

Related posts from the same era