Type-based cost analysis for lazy functional languages (dataset)

Steffen Jost (Creator)
Pedro Vasconcelos (Creator)
Mário Florido (Creator)
Kevin Hammond (Creator)

Dataset

Date made available	6 Jan 2017
Publisher	Universidade do Porto

Contact

[email protected]

Access Dataset

http://kashmir.dcc.fc.up.pt/cgi/lazy.cgi

2 Finished

Discovery: Pattern Discovery and Program: Discovery: Pattern Discovery and Program Shaping for Manycore Systems
Thomson, J. D. (PI), Hammond, K. (CoI) & Sarkar, S. (CoI)
EPSRC
1/07/17 → 31/12/20
Project: Standard
H2020 Collaboration REPHRASE: H2020 Collaboration 2014 - RePhrase
Hammond, K. (PI)
European Commission
1/04/15 → 31/03/18
Project: Standard

1 Article

Type-based cost analysis for lazy functional languages
Jost, S., Vasconcelos, P., Florido, M. & Hammond, K., Jun 2017, In: Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

Cite this