( en | de | ru )

 

Disambiguation of "Nguyen, Kim"

Author of the publication

copydeleteadd this publication to your clipboard
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

, , , , , and . POPL, page 5-18. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nguyen Kim

Nguyen Thac Kim

Nguyen Kim Thiet

Nguyen Kim Vu

Nguyen Kim Thuy

 

Other publications of authors with the same name

Computation of Chromatic Polynomials Using Triangulations and Clique Trees., , and . WG, volume 3787 of Lecture Notes in Computer Science, page 362-373. Springer, (2005)Intelligent Composed Algorithms., , and . IACR Cryptol. ePrint Arch., (2021)Comparative Analysis of Social Connections/Isolation and Stress Documentation in Structured and Unstructured Machine De-Identified Data using PatientExploreR and EMERSE., , , , , , , and . AMIA, AMIA, (2022)Authentification and identification - Taking the user into account.. Datenschutz und Datensicherheit, 38 (7): 467-469 (2014)High-Resolution High-Power Quasi-Optical Free-Space Spectrometer for Dielectric and Magnetic Measurements in Millimeter Waves., , , , and . IEEE Trans. Instrumentation and Measurement, 58 (8): 2671-2678 (2009)Zertifizierungsdienste in der Post-Quantum-Ära.. Datenschutz und Datensicherheit, 41 (1): 17-20 (2017)XPath Whole Query Optimization., and . Proc. VLDB Endow., 3 (1): 882-893 (2010)Separating Decision Diffie-Hellman from Diffie-Hellman in cryptographic groups., and . IACR Cryptology ePrint Archive, (2001)Evaluation., , , , , and . Hypertext, page 260. ACM, (1996)Polymorphic Type Inference for Dynamic Languages., , and . Proc. ACM Program. Lang., 8 (POPL): 1179-1210 (January 2024)