Adrien Pommellet and I are happy to announce that our paper has been accepted
for presentation at the 2021 European Lisp Symposium.
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 checks. We present a theoretical
foundation and two sample implementations, one in Clojure and one
in Scala.
Dear all,
Antoine Hacquard and I are pleased to announce that our submission to
the 14th European Lisp Symposium has been accepted. The details are
given below.
===== A Corpus Processing and Analysis Pipeline for Quickref =====
Antoine Hacquard & Didier Verna
Quicklisp is a library manager working with your existing Common Lisp
implementation to download and install around 2000 libraries, from a
central archive. Quickref, an application itself written in Common Lisp,
generates, automatically and by introspection, a technical documentation
for every library in Quicklisp, and produces a website for this
documentation.
In this paper, we present a corpus processing and analysis pipeline for
Quickref. This pipeline consists in a set of natural language processing
blocks allowing us to analyze Quicklisp libraries, based on natural
language contents sources such as README files, docstrings, or symbol
names. The ultimate purpose of this pipeline is the generation of a
keyword index for Quickref, although other applications such as word
clouds or topic analysis are also envisioned.
--
¡En Seguida! -- New album: https://www.didierverna.com/records/en-seguida.php
Available on all digital platforms now!
Lisp, Jazz, Aïkido: http://www.didierverna.info
