Slepice

František Farka (Creator)
Ekaterina Komendantskya (Creator)
Kevin Hammond (Creator)

Dataset

Date made available	17 Apr 2018
Publisher	GitHub

Contact

[email protected]

Access Dataset

https://github.com/frantisekfarka/slepice

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

Proof-relevant Horn clauses for dependent type inference and term synthesis
Farka, F., Komendantskya, E. & Hammond, K., 2018, In: Theory and Practice of Logic Programming. 18, 3-4, p. 484-501
Research output: Contribution to journal › Article › peer-review

Open Access
File

Cite this