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.

Type-Based Cost Analysis for Lazy Functional Languages

Steffen Jost, Pedro Vasconcelos, Mário Florido, Kevin Hammond. Type-Based Cost Analysis for Lazy Functional Languages. Journal of Automated Reasoning, 59(1):87-120, 2017. [doi]

Authors

Steffen Jost

This author has not been identified. Look up 'Steffen Jost' in Google

Pedro Vasconcelos

This author has not been identified. Look up 'Pedro Vasconcelos' in Google

Mário Florido

This author has not been identified. Look up 'Mário Florido' in Google

Kevin Hammond

This author has not been identified. It may be one of the following persons: Look up 'Kevin Hammond' in Google
runs on