Stephanie Weirich

Navedeno

	Vse	Od leta 2020
Navedbe	5236	1022
indeks h	37	17
indeks i10	68	31

360

180

270

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 36 65 80 106 91 124 164 221 218 229 244 237 227 266 231 239 237 209 280 288 342 211 224 215 169 174 29

Javni dostop

Prikaži vse

15 č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
Richard A. EisenbergJane StreetPreverjeni e-poštni naslov na richarde.dev
Steve ZdancewicProfessor of Computer and Information Science, University of PennsylvaniaPreverjeni e-poštni naslov na cis.upenn.edu
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
Tim SheardIOHK and Professor Emeritus Portland State UniversityPreverjeni e-poštni naslov na pdx.edu
Aaron StumpJohn R. and Pamela Egan Chair, Computer Science, Boston CollegePreverjeni e-poštni naslov na bc.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
Justin HsuCornell UniversityPreverjeni e-poštni naslov na justinhsu.net
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDPreverjeni e-poštni naslov na umd.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	450	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	422	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	329	1999
Engineering formal metatheory B Aydemir, A Charguéraud, BC Pierce, R Pollack, S Weirich Acm sigplan notices 43 (1), 3-15, 2008	309	2008
Practical type inference for arbitrary-rank types D Vytiniotis, S Weirich, S Peyton-jones Journal of Functional Programming 17 (1), 1-82, 2007	280	2007
Giving Haskell a Promotion BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis TLDI, 11, 2012	232	2012
Intensional polymorphism in type-erasure semantics K Crary, S Weirich, G Morrisett ACM SIGPLAN Notices 34 (1), 301-312, 1998	163	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	137	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	129	2009
Dependently typed programming with singletons RA Eisenberg, S Weirich ACM SIGPLAN Notices 47 (12), 117-130, 2012	122	2012
Flexible type analysis K Crary, S Weirich Proceedings of the fourth ACM SIGPLAN international conference on Functional …, 1999	121	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	103	2004
Closed type families with overlapping equations RA Eisenberg, D Vytiniotis, S Peyton Jones, S Weirich ACM SIGPLAN Notices 49 (1), 671-683, 2014	94	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	86	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	80*	2000
Type-safe cast S Weirich ACM SIGPLAN Notices 35 (9), 58-67, 2000	80	2000
Type-safe cast S Weirich ACM SIGPLAN Notices 35 (9), 58-67, 2000	80	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	79	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