dc.date.accessioned | 2013-03-12T08:10:47Z | |
dc.date.available | 2013-03-12T08:10:47Z | |
dc.date.issued | 1995 | en_US |
dc.date.submitted | 2006-11-27 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9576 | |
dc.description.abstract | ABEL is a wide spectrum language developed at the University of Oslo. The applicative core of ABEL is a typed first order language with subtypes and partial functions. The paper presents a constructive fragment of the core, based on terminating generator induction. We show how subtypes can be used to augment expressiveness and strengthen syntactic controls. | nor |
dc.language.iso | eng | en_US |
dc.publisher | niversitetet i Oslo, Institutt for informatikk | |
dc.relation.ispartof | Research report http://urn.nb.no/URN:NBN:no-35645 | en_US |
dc.relation.uri | http://urn.nb.no/URN:NBN:no-35645 | |
dc.title | On the use of subtypes in ABEL | en_US |
dc.type | Research report | en_US |
dc.date.updated | 2012-09-17 | en_US |
dc.creator.author | Dahl, Ole-Johan | en_US |
dc.creator.author | Owe, Olaf | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.urn | URN:NBN:no-13707 | en_US |
dc.type.document | Forskningsrapport | en_US |
dc.identifier.duo | 49448 | en_US |
dc.identifier.bibsys | 952468522 | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9576/1/Owe-1.pdf | |