Scholar

Wei-Ngan Chin

Google Scholar ID: DO2x-J0AAAAJ

National University of Singapore

Programming LanguagesSoftware Engineering

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

3,750

H-index

31

i10-index

90

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

1 items

Type Safety via Hoare Logic with Separation and Pure Types

2026

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)