Stephanie Weirich

Navedeno

	Vse	Od leta 2019
Navedbe	5146	1300
indeks h	36	20
indeks i10	67	34

360

180

270

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

Javni dostop

Prikaži vse

14 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Dimitrios VytiniotisDeepMindPreverjeni e-poštni naslov na google.com
Simon Peyton JonesEpic GamesPreverjeni e-poštni naslov na epicgames.com
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
Richard A. EisenbergJane StreetPreverjeni e-poštni naslov na richarde.dev
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
Vilhelm SjöbergYale UniversityPreverjeni e-poštni naslov na yale.edu
Karl CraryCarnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Joachim BreitnerLean FROPreverjeni e-poštni naslov na joachim-breitner.de
David WalkerPrinceton UniversityPreverjeni e-poštni naslov na cs.princeton.edu
Harley D. Eades IIIAssistant Professor of CS, Augusta UniversityPreverjeni e-poštni naslov na augusta.edu
Peter SewellComputer Laboratory, University of CambridgePreverjeni e-poštni naslov na cl.cam.ac.uk
Aaron StumpProfessor of Computer Science, The University of IowaPreverjeni e-poštni naslov na uiowa.edu
Tim SheardIOHK and Professor Emeritus Portland State UniversityPreverjeni e-poštni naslov na pdx.edu
Brent YorgeyHendrix CollegePreverjeni e-poštni naslov na hendrix.edu
Christine RizkallahSenior Lecturer at the University of MelbournePreverjeni e-poštni naslov na unimelb.edu.au
Yao LiPortland State UniversityPreverjeni e-poštni naslov na pdx.edu
Pritam ChoudhuryUniversity of PennsylvaniaPreverjeni e-poštni naslov na seas.upenn.edu
Daniel DantasPreverjeni e-poštni naslov na dantasfiles.com
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDPreverjeni e-poštni naslov na umd.edu
Michael GreenbergStevens Institute of Technology - Department of Computer SciencePreverjeni e-poštni naslov na stevens.edu

Spremljaj

Stephanie Weirich

Professor of Computer Science, University of Pennsylvania

Preverjeni e-poštni naslov na cis.upenn.edu - Domača stran

Programming Languages Functional programming Type Systems Dependent types Generic programming


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
Simple unification-based type inference for GADTs S Peyton Jones, D Vytiniotis, S Weirich, G Washburn ACM SIGPLAN Notices 41 (9), 50-61, 2006	441	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	421	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	301	2008
Practical type inference for arbitrary-rank types D Vytiniotis, S Weirich, S Peyton-jones Journal of Functional Programming 17 (1), 1-82, 2007	278	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
Dependently typed programming with singletons RA Eisenberg, S Weirich ACM SIGPLAN Notices 47 (12), 117-130, 2012	126	2012
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
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

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji