A modal foundation for meta-variables - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning. A modal foundation for meta-variables. In Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003. ACM, 2003. [doi]

This author has not been identified. Look up 'Aleksandar Nanevski' in GoogleThis author has not been identified. Look up 'Brigitte Pientka' in GoogleIdentified as Frank Pfenning

runs on WebDSL