logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
T

Tiark Rompf

Augusta University

32H-index
146Paper Count
3.3KCitation Count
Published Papers 4
Publication Date
logo
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err1
PREAI
errBao, Yuyan; Jia, Songlin; Wei, Guannan; Bracevac, Oliver; Rompf, Tiark
errShare
errSave
Complete the Cycle: Reachability Types with Expressive Cyclic References
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err1
PREAI
errDeng, Haotian; He, Siyuan; Jia, Songlin; Bao, Yuyan; Rompf, Tiark
errShare
errSave
Unifying Functional and Object-Oriented Programming with Scala
errCOMMUNICATIONS OF THE ACM
IF12.2
err2014-04-01
err25
errOAAI
errOdersky, Martin; Rompf, Tiark
errShare
errSave
Lightweight Modular Staging: A Pragmatic Approach to Runtime Code Generation and Compiled DSLs
errCOMMUNICATIONS OF THE ACM
IF12.2
err2012-06-01
err90
errOAAI
errRompf, Tiark; Odersky, Martin
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
M
Martin Odersky
H-index: 46 · Papers: 206
S
Siyuan He
H-index: 22 · Papers: 176
G
Guannan Wei
H-index: 22 · Papers: 58
O
Oliver Bračevac
H-index: 8 · Papers: 28
Y
Yuyan Bao
H-index: 7 · Papers: 30
View more