George Kuan

According to our database¹, George Kuan authored at least 4 papers between 2007 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Information Flow Monitoring as Abstract Interpretation for Relational Logic.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2009

Engineering Higher-Order Modules in SML/NJ.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2009

2007

Efficient type inference using ranked type variables.

[BibT_eX]

[DOI]

Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

A Rewriting Semantics for Type Inference.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007