Difference between revisions of "Publications/newton.21.els"
From LRDE
| (2 intermediate revisions by the same user not shown) | |||
| Line 5: | Line 5: | ||
| title = A Portable, Simple, Embeddable Type System |
| title = A Portable, Simple, Embeddable Type System |
||
| booktitle = Proceedings of the 14th European Lisp Symposium (ELS) |
| booktitle = Proceedings of the 14th European Lisp Symposium (ELS) |
||
| ⚫ | |||
| − | | lrdestatus = accepted |
||
| ⚫ | |||
| lrdenewsdate = 2021-04-26 |
| lrdenewsdate = 2021-04-26 |
||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/newton.21.els.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/newton.21.els.pdf |
||
| lrdeprojects = Spot |
| lrdeprojects = Spot |
||
| address = Online |
| address = Online |
||
| − | | abstract = We present a simple type system inspired by that of Common Lisp. |
+ | | abstract = We present a simple type system inspired by that of Common Lisp. The type system is intended to be embedded into a host language and accepts certain fundamental types from that language as axiomatically given. The type calculus provided in the type system is capable of expressing union, intersection, and complement types, as well as membership, subtype, disjoint, and habitation (non-emptiness) checks. We present a theoretical foundation and two sample implementations, one in Clojure and one in Scala. |
| + | | pages = 11 to 20 |
||
| + | | publisher = European Lisp Symposium |
||
| type = inproceedings |
| type = inproceedings |
||
| id = newton.21.els |
| id = newton.21.els |
||
| Line 21: | Line 22: | ||
booktitle = <nowiki>{</nowiki>Proceedings of the 14th European Lisp Symposium (ELS)<nowiki>}</nowiki>, |
booktitle = <nowiki>{</nowiki>Proceedings of the 14th European Lisp Symposium (ELS)<nowiki>}</nowiki>, |
||
year = 2021, |
year = 2021, |
||
| ⚫ | |||
address = <nowiki>{</nowiki>Online<nowiki>}</nowiki>, |
address = <nowiki>{</nowiki>Online<nowiki>}</nowiki>, |
||
month = may, |
month = may, |
||
| Line 34: | Line 34: | ||
and two sample implementations, one in Clojure and one in |
and two sample implementations, one in Clojure and one in |
||
Scala.<nowiki>}</nowiki>, |
Scala.<nowiki>}</nowiki>, |
||
| ⚫ | |||
| + | publisher = <nowiki>{</nowiki>European Lisp Symposium<nowiki>}</nowiki>, |
||
doi = <nowiki>{</nowiki>10.5281/zenodo.4709777<nowiki>}</nowiki> |
doi = <nowiki>{</nowiki>10.5281/zenodo.4709777<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Latest revision as of 12:22, 3 December 2022
- Authors
- Jim Newton, Adrien Pommellet
- Where
- Proceedings of the 14th European Lisp Symposium (ELS)
- Place
- Online
- Type
- inproceedings
- Publisher
- European Lisp Symposium
- Projects
- Spot
- Keywords
- infinite alphabets, type systems, Common Lisp, ClojureScala
- Date
- 2021-04-26
Abstract
We present a simple type system inspired by that of Common Lisp. The type system is intended to be embedded into a host language and accepts certain fundamental types from that language as axiomatically given. The type calculus provided in the type system is capable of expressing union, intersection, and complement types, as well as membership, subtype, disjoint, and habitation (non-emptiness) checks. We present a theoretical foundation and two sample implementations, one in Clojure and one in Scala.
Documents
Bibtex (lrde.bib)
@InProceedings{ newton.21.els,
author = {Jim Newton and Adrien Pommellet},
title = {A Portable, Simple, Embeddable Type System},
booktitle = {Proceedings of the 14th European Lisp Symposium (ELS)},
year = 2021,
address = {Online},
month = may,
abstract = { We present a simple type system inspired by that of
Common Lisp. The type system is intended to be embedded
into a host language and accepts certain fundamental types
from that language as axiomatically given. The type
calculus provided in the type system is capable of
expressing union, intersection, and complement types, as
well as membership, subtype, disjoint, and habitation
(non-emptiness) checks. We present a theoretical foundation
and two sample implementations, one in Clojure and one in
Scala.},
pages = {11--20},
publisher = {European Lisp Symposium},
doi = {10.5281/zenodo.4709777}
}