logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
S

Stephanie Weirich

University of Pennsylvania

33H指数
184论文数
4.0K被引数
收录论文 3
发表时间
logo
Typing Strictness类型严格性
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errSainati, Daniel; Cutler, Joseph W.; Pierce, Benjamin C.; Weirich, Stephanie
err分享
err收藏
Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach算法转换与满射配对：一种句法与非类型化方法
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errLiu, Yiyun; Weirich, Stephanie
err分享
err收藏
Position paper: the science of deep specification
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2017-09-04
err31
errOAAI
errAppel, Andrew W.; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C.; Shao, Zhong; Weirich, Stephanie; Zdancewic, Steve
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
B
Benjamin C. Pierce
H 指数: 61 · 论文数: 352
A
Andrew W. Appel
H 指数: 53 · 论文数: 347
S
Steve Zdancewic
H 指数: 46 · 论文数: 167
Z
Zhong Shao
H 指数: 39 · 论文数: 206
A
Adam Chlipala
H 指数: 28 · 论文数: 128
查看更多