Showing 1 - 20 of 1,955

1

An empirical study on bugs in TypeScript programming language
Wang, Ziyuan ; Fang, Yun ; Wang, Nannan
In The Journal of Systems & Software August 2025 226

Academic journal
Save to List
2

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Miu, Anson ; Ferreira, Francisco ; Yoshida, Nobuko ; et al.

Computer Science - Progr... Computer Science - Softw...
Report
Save to List
3
4

The Rational Programmer: Investigating Programming Language Pragmatics.
Dimoulas, Christos ; Felleisen, Matthias
Communications of the ACM. Jul2025, Vol. 68 Issue 7, p120-130. 11p.

PROGRAMMING languages COMPUTER software develo... PRAGMATICS PROGRAMMING language sem... TYPESCRIPT (Computer pro... JAVASCRIPT programming l...
Journal
Save to List
5

Communication-safe web programming in TypeScript with routed multiparty session types.
Anson Miu ; Francisco Ferreira 0001 ; Nobuko Yoshida ; et al.
CC. :94-106

Conference
Save to List
8

Do Machine Learning Models Produce TypeScript Types That Type Check?
Yee, Ming-Ho ; Guha, Arjun

Computer Science - Softw... Computer Science - Progr...
Report
Save to List
19

Microsoft MakeCode: embedded programming for education, in blocks and TypeScript.
Thomas Ball 0001 ; Abhijith Chatra ; Peli de Halleux ; et al.
SPLASH-E. :7-12

Conference
Save to List

Filter