E-LIB Suche - Ergebnisse für: Nguyễn, Phúc C.

1

Corpse reviver: sound and efficient gradual typing via cont..:

Moy, Cameron ; Nguyễn, Phúc C. ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

Link: https://doi.org/10.1145/..

2

Corpse reviver: sound and efficient gradual typing via cont..:

Moy, Cameron ; Nguyễn, Phúc C. ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-28 , 2021

Link: https://dl.acm.org/doi/1..

3

Size-change termination as a contract: dynamically and stat..:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Nguyễn, Phúc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam. - p. 845-859 , 2019

Link: https://dl.acm.org/doi/1..

4

Soft contract verification for higher-order stateful progra..:

Nguyễn, Phúc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-30 , 2017

Link: https://doi.org/10.1145/..

5

Soft contract verification for higher-order stateful progra..:

Nguyễn, Phúc C. ; Gilray, Thomas ; Tobin-Hochstadt, Sam.
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-30 , 2017

Link: https://dl.acm.org/doi/1..

6

Relatively complete counterexamples for higher-order progra..:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Nguyễn, Phúc C. ; Van Horn, David - p. 446-456 , 2015

Link: https://dl.acm.org/doi/1..

7

Relatively complete counterexamples for higher-order progra..:

Nguyễn, Phúc C. ; Van Horn, David
ACM SIGPLAN Notices. 50 (2015) 6 - p. 446-456 , 2015

Link: https://doi.org/10.1145/..

8

Who's Eating Rice? Gay Vietnamese American Men's Experience..:

Nguyễn, Thuận Phước ; Han, C. Winter
Sociological Perspectives. , 2024

Link: https://doi.org/10.1177/..

9

Artifact: Corpse Reviver:

Cameron Moy ; Phúc C. Nguyễn ; Sam Tobin-Hochstadt.
doi:10.5281/zenodo.4072027. , 2020

Link: https://zenodo.org/recor..

10

Artifact: Corpse Reviver:

Cameron Moy ; Phúc C. Nguyễn ; Sam Tobin-Hochstadt.
doi:10.5281/zenodo.4072027. , 2020

Link: https://zenodo.org/recor..

11

Đời Sống Đạo của Giới Trẻ Di Dân Tây Nguyên; Faith Practice..:

Nguyễn, Phước Tuyển ; Nguyễn, Văn Mạnh ; Nguyễn, Hoàng Việt.
Khoa Học Công Giáo và Đời Sống. 4 (2024) 1 - p. 80-98 , 2024

Link: https://doi.org/10.54855..

12

Vận dụng lời dạy của Hồ Chí Minh về thanh niên trong tác ph..:

Phạm, Công Nghĩa ; Lê, Anh Thi ; Nguyễn, Phước Tiến
Dong Thap University Journal of Science. 13 (2024) 4 - p. 102-113 , 2024

Link: https://doi.org/10.52714..

13

Tuyển chọn và định danh dòng vi khuẩn có khả năng sản xuất ..:

Huỳnh, Ngọc Thanh Tâm ; Huỳnh, Yến Nhi ; Lại, Lại Phú Quí..
CTU Journal of Science. 60 (2024) 3 - p. , 2024

Link: https://doi.org/10.22144..

14

THIẾT KẾ CHỦ ĐỀ STEM TRONG DẠY HỌC MÔN TỰ NHIÊN VÀ XÃ HỘI L..:

Trần Thị Mai Lan ; Nguyễn Phúc Chỉnh ; Trần Thanh Hiền
Tạp chí Khoa học và Công nghệ Trường Đại học Hùng Vương. 31 (2023) 2 - p. 46-55 , 2023

Link: https://doi.org/10.59775..

15

Tác động của kiều hối đến tăng trưởng kinh tế Việt Nam: Ngh..:

Nguyễn Phúc Hiền ; Phan Ngọc Thùy Dung
VNU JOURNAL OF ECONOMICS AND BUSINESS. 3 (2023) 1 - p. , 2023

Link: https://doi.org/10.57110..