Author of the publication

Standard ML-NJ weak polymorphism and imperative constructs

, , and . LICS, page 15-25. IEEE Computer Society, (1993)

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.

 

Other publications of authors with the same name

Standard ML-NJ weak polymorphism and imperative constructs, , and . LICS, page 15-25. IEEE Computer Society, (1993)Lower Bounds on Type Inference with Subtypes., and . POPL, page 176-185. ACM Press, (1995)CIViCdb 2022: evolution of an open-access cancer variant interpretation knowledgebase., , , , , , , , , and 55 other author(s). Nucleic Acids Res., 51 (D1): 1230-1241 (January 2023)Type inference and program evaluation in the presence of subtyping.. Stanford University, USA, (1995)Genetic Heuristics in Optimization Problems (Abstract)., and . ACM Conference on Computer Science, page 447. ACM, (1990)Towards a Public Cloud Services Registry., , , , , and . WISE (1), volume 10569 of Lecture Notes in Computer Science, page 290-295. Springer, (2017)An approach to improving group recommendation systems based on latent factor matrices., , , , , and . SoICT, page 98-105. ACM, (2019)Building a Machine Translation System in a Restrict Context from Ka-Tu Language into Vietnamese., , and . KSE, page 167-172. IEEE Computer Society, (2012)The effects of geometry structure with 3D printing design on PCL scaffolds permeability., , , , and . ICBET, page 173-178. ACM, (2023)Using Unicode in Encoding the Vietnamese Ethnic Minority Languages, Applying for the Ede Language., , and . KSE (1), volume 244 of Advances in Intelligent Systems and Computing, page 137-148. Springer, (2013)