The reflexive CHAM and the join-calculus

by Cedric Fournet , Georges Gonthier
Venue:IN PROCEEDINGS OF THE 23RD ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:100 - 0 self