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

Swierstra, Wouter

Utrecht University

0H-index
3Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
PLEX: Normalization for Refinement Types
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-04-01
err0
PREAI
errFerrarini, Alessio; Vazou, Niki; Swierstra, Wouter
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
F
Ferrarini, Alessio
H-index: 0 · Papers: 1
V
Vazou, Niki
H-index: 0 · Papers: 1
All loaded