External Links

Cite Key

Statistics

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

PDF

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.

Linear dependent types in a call-by-value scenario

Ugo Dal Lago, Barbara Petit. Linear dependent types in a call-by-value scenario. In Danny De Schreye, Gerda Janssens, Andy King, editors, Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. pages 115-126, ACM, 2012. [doi]

Authors

Ugo Dal Lago

This author has not been identified. Look up 'Ugo Dal Lago' in Google

Barbara Petit

This author has not been identified. Look up 'Barbara Petit' in Google
runs on