Seguir
Brent Yorgey
Brent Yorgey
Dirección de correo verificada de hendrix.edu - Página principal
Título
Citado por
Citado por
Año
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
2342012
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, 16, 2010
2072010
Binders unbound
S Weirich, BA Yorgey, T Sheard
ACM SIGPLAN Notices 46 (9), 333-345, 2011
692011
Programming language foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Software Foundations series 2, 2018
542018
Logical foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Software Foundations series 1, 2018
452018
Monoids: theme and variations (functional pearl)
BA Yorgey
ACM SIGPLAN Notices 47 (12), 105-116, 2012
402012
The typeclassopedia
B Yorgey
The Monad. Reader 13, 17-68, 2009
402009
Combinatorial species and labelled structures
B Yorgey
302014
Species and functors and types, oh my!
BA Yorgey
Proceedings of the third ACM Haskell symposium on Haskell, 147-158, 2010
222010
Software foundations. 2010
B Pierce, C Casinghino, M Greenberg, V Sjöberg, B Yorgey
URL https://softwarefoundations. cis. upenn. edu, 2010
222010
Software Foundations. Electronic textbook, 2012
BC Pierce, C Casinghino, M Gaboardi, M Greenberg, C Hritcu, V Sjöberg, ...
18
Logical Foundations. Software Foundations series, volume 1. Electronic textbook, May 2018. Version 5.5
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
14
Software Foundations. Electronic textbook, 2016. Version 4.0
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
12
Logical Foundations, volume 1 of Software Foundations
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
Electronic textbook, 2022
92022
Diagrams: a functional EDSL for vector graphics
R Yates, BA Yorgey
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art …, 2015
92015
Abstraction, intuition, and the “monad tutorial fallacy”
B Yorgey
Online at https://byorgey. wordpress. com/2009/01/12/abstraction-intuition …, 2009
82009
Generating multiset partitions
B Yorgey, C Parker
The Monad. Reader 8, 5-20, 2007
62007
Logical Foundations. Software Foundations series, volume 1, Electronic textbook (2018)
BC Pierce, A Azevedo de Amorim, C Casinghino, M Gaboardi, ...
6
Software Foundations. Version 5.0
BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ...
52017
A combinatorial theory of formal series
A Joyal, BA YORGEY
Adv. in Math 42, 1-82, 1981
51981
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20