| 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 | 242 | 2012 |
| 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 | 204 | 2010 |
| Binders unbound S Weirich, BA Yorgey, T Sheard ACM SIGPLAN Notices 46 (9), 333-345, 2011 | 70 | 2011 |
| Programming language foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... Proc.{ACM} Program. Lang. 32, 106, 2020 | 57 | 2020 |
| Logical foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... Software Foundations series 1, 2018 | 47 | 2018 |
| Monoids: theme and variations (functional pearl) BA Yorgey ACM SIGPLAN Notices 47 (12), 105-116, 2012 | 40 | 2012 |
| The typeclassopedia B Yorgey The Monad. Reader 13, 17-68, 2009 | 40 | 2009 |
| Combinatorial species and labelled structures B Yorgey | 36 | 2014 |
| Software Foundations. Electronic textbook BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... | 30 | 2015 |
| Species and functors and types, oh my! BA Yorgey Proceedings of the third ACM Haskell symposium on Haskell, 147-158, 2010 | 24 | 2010 |
| Software foundations. 2010 BC Pierce, C Casinghino, M Greenberg, V Sjöberg, B Yorgey URL Webpage: http://www. cis. upenn. edu/bcpierce/sf/current/index. html, 2024 | 18 | 2024 |
| Logical Foundations, volume 1 of Software Foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... Electronic textbook, 2022 | 18 | 2022 |
| Software Foundations. Electronic textbook, 2012 BC Pierce, C Casinghino, M Gaboardi, M Greenberg, C Hritcu, V Sjöberg, ... | 18 | |
| Programming Language Foundations. Software Foundations, Vol. 2. Electronic textbook BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... Online, 2020 | 10 | 2020 |
| Diagrams: a functional EDSL for vector graphics R Yates, BA Yorgey Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art …, 2015 | 9 | 2015 |
| Abstraction, intuition, and the “monad tutorial fallacy” B Yorgey Online at https://byorgey. wordpress. com/2009/01/12/abstraction-intuition …, 2009 | 8 | 2009 |
| Logical Foundations. Software Foundations series, volume 1, Electronic textbook (2018) BC Pierce, A Azevedo de Amorim, C Casinghino, M Gaboardi, ... | 7 | |
| Software foundations (volume 2): Programming language foundations BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... | 6 | 2019 |
| Generating multiset partitions B Yorgey, C Parker The Monad. Reader 8, 5-20, 2007 | 6 | 2007 |
| Software Foundations. Version 5.0 BC Pierce, AA de Amorim, C Casinghino, M Gaboardi, M Greenberg, ... | 5 | 2017 |
Arthur Azevedo de AmorimRochester Institute of TechnologyПодтвержден адрес электронной почты в домене rit.edu
Cătălin HrițcuTenured Faculty at MPI-SPПодтвержден адрес электронной почты в домене mpi-sp.org
Vilhelm SjöbergYale UniversityПодтвержден адрес электронной почты в домене yale.edu
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceПодтвержден адрес электронной почты в домене stevens.edu
Marco GaboardiBoston UniversityПодтвержден адрес электронной почты в домене bu.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaПодтвержден адрес электронной почты в домене cis.upenn.edu
Simon Peyton JonesEpic GamesПодтвержден адрес электронной почты в домене epicgames.com
Dimitrios VytiniotisDeepMindПодтвержден адрес электронной почты в домене google.com
José Pedro MagalhãesStandard Chartered BankПодтвержден адрес электронной почты в домене cs.ox.ac.uk
Ryan YatesGroq Inc.Подтвержден адрес электронной почты в домене acm.org
Harley D. Eades IIIAssistant Professor of CS, Augusta UniversityПодтвержден адрес электронной почты в домене augusta.edu
Jacques CaretteProfessor of Computer Science and Software Engineering, McMaster UniversityПодтвержден адрес электронной почты в домене mcmaster.ca
Dan PiponiEpic GamesПодтвержден адрес электронной почты в домене epicgames.com