research
∙
02/15/2023
Multi-graded Featherweight Java
Resource-aware type systems statically approximate not only the expected...
share
research
∙
09/15/2022
Coeffects for Sharing and Mutation
In type-and-coeffect systems, contexts are enriched by coeffects modelin...
research
∙
02/14/2022
Enhancing expressivity of checked corecursive streams (extended version)
We propose a novel approach to stream definition and manipulation. Our s...
research
∙
07/31/2021
Enhanced Regular Corecursion for Data Streams
We propose a simple calculus for processing data streams (infinite flows...
research
∙
08/05/2020
Flexible coinductive logic programming
Recursive definitions of predicates are usually interpreted either induc...
research
∙
05/28/2020
Sound Regular Corecursion in coFJ
The aim of the paper is to provide solid foundations for a programming p...
research
∙
02/20/2020
Soundness conditions for big-step semantics
We propose a general proof technique to show that a predicate is sound, ...
research
∙
02/14/2020
Flexible Coinduction in Agda
Theorem provers are tools that help users to write machine readable proo...
research
∙
04/23/2019
A Syntactic Model of Mutation and Aliasing
Traditionally, semantic models of imperative languages use an auxiliary ...
research
∙
10/12/2018
Semantic subtyping for non-strict languages
Semantic subtyping is an approach to define subtyping relations for type...
research
∙
06/30/2018
Flexible recovery of uniqueness and immutability (Extended Version)
We present an imperative object calculus where types are annotated with ...
research
∙
03/15/2018
Tracing sharing in an imperative pure calculus (Extended Version)
We introduce a type and effect system, for an imperative object calculus...
research
∙
03/15/2018
Tracing sharing in an imperative pure calculus
We introduce a type and effect system, for an imperative object calculus...
research
∙
09/14/2017
