Kim Nguyên

Follow

Generating author description...

Common Coauthors
Commonly Cited References
Action Title Year Authors # of times referenced
+ PDF Chat Polymorphic Functions with Set-Theoretic Types 2014 Giuseppe Castagna
Kim Nguyễn
Zhiwu Xu
Pietro Abate
6
+ Polymorphic functions with set-theoretic types 2014 Giuseppe Castagna
Kim Nguyên
Zhiwu Xu
Hyeonseung Im
Sergueï Lenglet
Luca Padovani
4
+ Set-theoretic foundation of parametric polymorphism and subtyping 2011 Giuseppe Castagna
Zhiwu Xu
4
+ PDF Chat Set-theoretic types for polymorphic variants 2016 Giuseppe Castagna
Tommaso Petrucciani
Kim Nguyễn
3
+ PDF Chat Fast and precise type checking for JavaScript 2017 Avik Chaudhuri
Panagiotis Vekris
Sam Goldman
Marshall Roch
Gabriel Levi
2
+ Fully-Functional Static and Dynamic Succinct Trees 2009 Gonzalo Navarro
Kunihiko Sadakane
2
+ Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) 2018 Giuseppe Castagna
2
+ PDF Chat Practical Optional Types for Clojure 2016 Ambrose Bonnaire-Sergeant
Rowan Davies
Sam Tobin-Hochstadt
2
+ PDF Chat Occurrence typing modulo theories 2016 Andrew M. Kent
David Kempe
Sam Tobin-Hochstadt
2
+ PDF Chat Fully Functional Static and Dynamic Succinct Trees 2014 Gonzalo Navarro
Kunihiko Sadakane
1
+ PDF Chat A Note on Subnormal Subgroups of Division Algebras 1978 Gary Greenfield
1
+ PDF Chat Free subgroups in almost subnormal subgroups of general skew linear groups 2017 Nguyen Kim Ngoc
Mai Hoang Bien
Bui Xuan Hai
1
+ PDF Chat Revisiting occurrence typing 2022 Giuseppe Castagna
Victor Lanvin
Mickaël Laurent
Kim Nguyễn
1
+ PDF Chat Set-theoretic Types for Erlang 2022 A Schimpf
Stefan Wehr
Annette Bieniusa
1
+ PDF Chat Polymorphic Type Inference for Dynamic Languages 2024 Giuseppe Castagna
Mickaël Laurent
Kim Nguyễn
1
+ The Design Principles of the Elixir Type System 2023 Giuseppe Castagna
Guillaume Duboc
José Valim
1
+ Old, Recent and New Results on Quasinormal Subgroups 2005 S. E. Stonehewer
1
+ Programming with Union, Intersection, and Negation Types 2023 Giuseppe Castagna
1
+ PDF Chat Fast and Tiny Structural Self-Indexes for XML 2010 Sebastian Maneth
Tom Sebastian
1
+ The Algebraic Structure of Group Rings 1977 D. S. Passman
1
+ PDF Chat Practical Entropy-Compressed Rank/Select Dictionary 2007 Daisuke Okanohara
Kunihiko Sadakane
1
+ On permutable subgroups of soluble minimax groups 1985 H. H. G. Seneviratne
1
+ Multiplicative commutators in division rings II 1980 I. N. Herstein
1
+ PDF Chat Liquid Intersection Types 2015 Mário Pereira
Sandra Alves
Mário Florido
1
+ A note on torsion-free locally cyclic quasinormal subgroups 2014 Giovanni Cutolo
Antonella Leone
1
+ PDF Chat XPath whole query optimization 2010 Sebastian Maneth
Kim Nguyễn
1