Author/Creator: HAMMOND, KEVIN - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator HAMMOND, KEVIN

1. PAEAN: Portable and scalable runtime support for parallel Haskell dialects. (13th July 2016)

Authors:: BERTHOLD, JOST; LOIDL, HANS-WOLFGANG; HAMMOND, KEVIN
Journal:: Journal of functional programming
Issue:: Volume 26(2016)
Page Start:
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Issue 3 (10th August 2018)

Authors:: FARKA, FRANTIŠEK; KOMENDANTSKYA, EKATERINA; HAMMOND, KEVIN
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 484
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗