Stephanie Weirich

Geciteerd door

	Alles	Sinds 2019
Citaties	5130	1287
h-index	36	20
i10-index	67	33

360

180

270

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 35 65 77 106 94 124 165 214 219 228 242 235 219 263 220 239 241 209 280 291 347 215 222 210 164 129

Openbare toegang

Alles bekijken

14 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Dimitrios VytiniotisDeepMindGeverifieerd e-mailadres voor google.com
Simon Peyton JonesEpic GamesGeverifieerd e-mailadres voor epicgames.com
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
Richard A. EisenbergJane StreetGeverifieerd e-mailadres voor richarde.dev
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaGeverifieerd e-mailadres voor cis.upenn.edu
Vilhelm SjöbergYale UniversityGeverifieerd e-mailadres voor yale.edu
Karl CraryCarnegie Mellon UniversityGeverifieerd e-mailadres voor cs.cmu.edu
Joachim BreitnerLean FROGeverifieerd e-mailadres voor joachim-breitner.de
David WalkerPrinceton UniversityGeverifieerd e-mailadres voor cs.princeton.edu
Harley D. Eades IIIAssistant Professor of CS, Augusta UniversityGeverifieerd e-mailadres voor augusta.edu
Peter SewellComputer Laboratory, University of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
Aaron StumpProfessor of Computer Science, The University of IowaGeverifieerd e-mailadres voor uiowa.edu
Tim SheardIOHK and Professor Emeritus Portland State UniversityGeverifieerd e-mailadres voor pdx.edu
Brent YorgeyHendrix CollegeGeverifieerd e-mailadres voor hendrix.edu
Christine RizkallahSenior Lecturer at the University of MelbourneGeverifieerd e-mailadres voor unimelb.edu.au
Yao LiPortland State UniversityGeverifieerd e-mailadres voor pdx.edu
Pritam ChoudhuryUniversity of PennsylvaniaGeverifieerd e-mailadres voor seas.upenn.edu
Daniel DantasGeverifieerd e-mailadres voor dantasfiles.com
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDGeverifieerd e-mailadres voor umd.edu
Michael GreenbergStevens Institute of Technology - Department of Computer ScienceGeverifieerd e-mailadres voor stevens.edu

Volgen

Stephanie Weirich

Professor of Computer Science, University of Pennsylvania

Geverifieerd e-mailadres voor cis.upenn.edu - Homepage

Programming Languages Functional programming Type Systems Dependent types Generic programming


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Simple unification-based type inference for GADTs S Peyton Jones, D Vytiniotis, S Weirich, G Washburn ACM SIGPLAN Notices 41 (9), 50-61, 2006	440	2006
Mechanized metatheory for the masses: The POPLmark challenge B Aydemir, A Bohannon, M Fairbairn, J Foster, B Pierce, P Sewell, ... Theorem Proving in Higher Order Logics, 50-65, 2005	419	2005
TALx86: A realistic typed assembly language K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ... 1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999	326	1999
Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008	300	2008
Practical type inference for arbitrary-rank types D Vytiniotis, S Weirich, S Peyton-jones Journal of Functional Programming 17 (1), 1-82, 2007	277	2007
Giving Haskell a Promotion BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis TLDI, 11, 2012	233	2012
Intensional polymorphism in type-erasure semantics K Crary, S Weirich, G Morrisett ACM SIGPLAN Notices 34 (1), 301-312, 1998	155	1998
Catching bugs in the web of program invariants C Flanagan, M Flatt, S Krishnamurthi, S Weirich, M Felleisen Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996	134	1996
Reactive noninterference A Bohannon, BC Pierce, V Sjöberg, S Weirich, S Zdancewic Proceedings of the 16th ACM conference on Computer and communications …, 2009	126	2009
Dependently typed programming with singletons RA Eisenberg, S Weirich ACM SIGPLAN Notices 47 (12), 117-130, 2012	125	2012
Flexible type analysis K Crary, S Weirich Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999	122	1999
Contracts made manifest M Greenberg, BC Pierce, S Weirich Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010	106	2010
Wobbly types: type inference for generalised algebraic data types SP Jones, G Washburn, S Weirich Technical Report MS-CIS-05-26, Univ. of Pennsylvania, 2004	101	2004
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	97	2014
Combining proofs and programs in a dependently typed language C Casinghino, V Sjöberg, S Weirich ACM SIGPLAN Notices 49 (1), 33-45, 2014	87	2014
Boxy types: inference for higher-rank types and impredicativity D Vytiniotis, S Weirich, S Peyton Jones Proceedings of the eleventh ACM SIGPLAN international conference on …, 2006	82	2006
Type-safe cast S Weirich International Conference on Functional Programming (ICFP), 58-67, 2000	78*	2000
Type-safe cast S Weirich ACM SIGPLAN Notices 35 (9), 58-67, 2000	78	2000
Type-safe cast S Weirich ACM SIGPLAN Notices 35 (9), 58-67, 2000	78	2000
A specification for dependent types in Haskell S Weirich, A Voizard, PHA de Amorim, RA Eisenberg Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017	75	2017

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs