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.

Type Inference for Sublinear Space Functional Programming

Ugo Dal Lago, Ulrich Schöpp. Type Inference for Sublinear Space Functional Programming. In Kazunori Ueda, editor, Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings. Volume 6461 of Lecture Notes in Computer Science, pages 376-391, Springer, 2010. [doi]

Authors

Ugo Dal Lago

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

Ulrich Schöpp

This author has not been identified. Look up 'Ulrich Schöpp' in Google
runs on