Brent A. Yorgey - Concepedia

Author

Brent A. Yorgey

Also Known As

BRENT YORGEY, Brent A. Yorgey, Brent Yorgey

Publications

306

Citations

H-Index

Concepts

All Affiliations

Brent A. Yorgey is an author at University of Pennsylvania specializing in formal specification, formal methods, and compilers.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	67
2	Computer Science	2	2	67
3	Compilers	2	2	67
4	Programming Languages	2	2	67
5	Design	1	1	26

Brent A. Yorgey

Publications

276

Citations

H-Index

Page 1

	Year	Citations
Giving Haskell a promotion Brent A. Yorgey, Stephanie Weirich, Julien Cretin,	2012	172
Binders unbound Stephanie Weirich, Brent A. Yorgey, Tim Sheard ACM SIGPLAN Notices Name BindingEngineeringSoftware SystemsVerificationSoftware Engineering	2011	37
Binders unbound Stephanie Weirich, Brent A. Yorgey, Tim Sheard Name BindingFormal SpecificationEngineeringAutomated ReasoningProgram Analysis	2011	30
Monoids Brent A. Yorgey Abstract AlgebraAlgebraic StructureHigher Category TheoryDesignHumble Algebraic Structure	2012	26
Monoids Brent A. Yorgey ACM SIGPLAN Notices	2012	11

Page 1