Theophrastus is a system that supports the automatic annotation of (web) documents through entity mining and provides exploration services by exploiting Linked Open Data (LOD), in real-time and only when needed. The system aims at assisting biologists in their research on species and biodiversity. It was based on requirements coming from the biodiversity domain and was awarded the first prize i...

The AAS has developed an author markup package to assist authors in preparing manuscripts for articles that are intended for submission to the AAS-and ASP-aaliated journals. It is important that the markup used by authors in electronic manuscripts (sometimes called compuscripts) be consistent and standardized so that such manuscripts can be widely accepted by the journals, ultimately so that th...

Abstract Gradualizing System F has been widely discussed. A big challenge is to preserve relational parametricity and/or the gradual guarantee. Most past work focused on preservation of parametricity, but often without few recent works satisfy both properties by giving up syntax, or with some restrictions and introduction sophisticated mechanisms in dynamic semantics. While important for polymo...