1
Published 2006
Table of Contents: ...Invited Talks -- A Core Calculus for Scala Type Checking -- Tree Exploration with an Oracle...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- The Generalization of Dirac’s Theorem for Hypergraphs -- On the Communication Complexity of Co-linearity Problems...
View full text
Electronic eBook