External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums

Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore. Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums. In Neil D. Jones, Xavier Leroy, editors, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004. pages 64-76, ACM, 2004. [doi]

Authors

Vincent Balat

This author has not been identified. Look up 'Vincent Balat' in Google

Roberto Di Cosmo

This author has not been identified. It may be one of the following persons: Look up 'Roberto Di Cosmo' in Google

Marcelo P. Fiore

This author has not been identified. Look up 'Marcelo P. Fiore' in Google
runs on