George Kuan

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Information Flow Monitoring as Abstract Interpretation for Relational Logic.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2009
Engineering Higher-Order Modules in SML/NJ.
Proceedings of the Implementation and Application of Functional Languages, 2009

2007
Efficient type inference using ranked type variables.
Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007, 2007

A Rewriting Semantics for Type Inference.
Proceedings of the Programming Languages and Systems, 2007


  Loading...