Abstract : Writing correct and efficient concurrent programs still remains a challenge. Explicit concurrency is difficult, error prone, and creates code which is ...

Important Dates Tutorial Proposals July 6, 2010 Submission of abstracts : PAPERPRESUBMISSION Submission : PAPERSUBMISSION Notification : PAPERNOTIFICATION Camera ...

Abstract : Garcia introduces a calculus for type-reflective metaprogramming that provides much of the power and flexibility of C++ templates and solves many of its ...

Abstract : Type inference is the process of constructing a typing derivation while gradually discovering type information. During this process, inference algorithms ...