Brent Yorgey
Title
Cited by
Cited by
Year
Giving Haskell a promotion
BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis, ...
Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012
1972012
Software foundations
BC Pierce, C Casinghino, M Gaboardi, M Greenberg, C Hriţcu, V Sjöberg, ...
Webpage: http://www. cis. upenn. edu/bcpierce/sf/current/index. html, 2010
1412010
Binders unbound
S Weirich, BA Yorgey, T Sheard
ACM SIGPLAN Notices 46 (9), 333-345, 2011
572011
The typeclassopedia
B Yorgey
The Monad. Reader 13, 17-68, 2009
352009
Monoids: theme and variations (functional pearl)
BA Yorgey
ACM SIGPLAN Notices 47 (12), 105-116, 2012
302012
Species and functors and types, oh my!
BA Yorgey
Proceedings of the third ACM Haskell symposium on Haskell, 147-158, 2010
202010
Software Foundations. Electronic textbook
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
192016
Software Foundations. Electronic textbook, 2012
BC Pierce, C Casinghino, M Gaboardi, M Greenberg, C Hritcu, V Sjöberg, ...
16
Software foundations. 2010
B Pierce, C Casinghino, M Greenberg, V Sjöberg, B Yorgey
Available in:< http://www. cis. upenn. edu/% 7ebcpierce/sf/current …, 2015
112015
Logical foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Electronic textbook, 2018
102018
Combinatorial species and labelled structures
B Yorgey
92014
Programming Language Foundations, volume 2 of Software Foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Online, 2010
82010
Abstraction, intuition, and the “monad tutorial fallacy”
B Yorgey
Online at https://byorgey. wordpress. com/2009/01/12/abstraction-intuition …, 2009
72009
Generating multiset partitions
B Yorgey, C Parker
The Monad Reader (8), 5-20, 2007
62007
A combinatorial theory of formal series
A Joyal, BA YORGEY
Adv. in Math 42, 1-82, 1981
51981
Diagrams: a functional EDSL for vector graphics
R Yates, BA Yorgey
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art …, 2015
42015
Software Foundations Volume 1: Logical Foundations. Electronic textbook. Version 5.5
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
32018
How to twist pointers without breaking them
S Chauhan, PP Kurur, BA Yorgey
Proceedings of the 9th International Symposium on Haskell, 51-61, 2016
32016
Polynomial functors constrained by regular expressions
D Piponi, BA Yorgey
International Conference on Mathematics of Program Construction, 113-136, 2015
32015
Making induction meaningful, recursively
PM Osera, B Yorgey
Proceedings of the 45th ACM technical symposium on Computer science …, 2014
32014
The system can't perform the operation now. Try again later.
Articles 1–20