Harvey Abramson. A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions. In Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras, editors, Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. pages 7-39, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, 1983. [doi]
@inproceedings{Abramson83,
title = {A Prological Definition or HASL: a Purely Functional Language with Unification Based Conditional Binding Expressions},
author = {Harvey Abramson},
year = {1983},
url = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p7-Abramson.pdf},
researchr = {https://researchr.org/publication/Abramson83},
cites = {0},
citedby = {0},
pages = {7-39},
booktitle = {Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings},
editor = {Luís Moniz Pereira and António Porto and Luís Monteiro and Miguel Figueiras},
publisher = {Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal},
}