We present a principled theoretical framework for dealing with union types, and show its work in practice on JSON data structures. The framework poses a union type inference as a learning problem from multiple examples. The categorical framework is generic, and easily extensible
The last few years have seen the fast and ubiquitous diffusion of JSON as one of the most widely use...
Type systems express structural information about data, are human readable and hence crucial for und...
In this essay, I present the advantages and, I dare say, the beauty of programming in a language wit...
We present a principled theoretical framework for dealing with union types, and show its work in pra...
We propose union types for statically typed class-based object-oriented languages as a means to enha...
A model family is a set of related models in a given language, with commonalities and variabilities ...
This artifact contains the mechanical formalization of the calculi associated with the paper Union T...
Semistructured databases are treated as dynamically typed: they come equipped with no independent sc...
Semistructured databases are treated as dynamically typed: they come equipped with no independent sc...
AbstractType assignment systems with intersection and union types are introduced. Although the subje...
Union types are nowadays a common feature in many modern programming languages. This paper investiga...
The last few years have seen the fast and ubiquitous diffusion of JSON as one of the most widely use...
We propose a semantically grounded theory of session types which relies on intersection and union ty...
International audienceThe last few years have seen the fast and ubiquitous diffusion of JSON as one ...
This paper discusses the new property characteristics in the Meta Object Facil-ity 2.0, namely subse...
The last few years have seen the fast and ubiquitous diffusion of JSON as one of the most widely use...
Type systems express structural information about data, are human readable and hence crucial for und...
In this essay, I present the advantages and, I dare say, the beauty of programming in a language wit...
We present a principled theoretical framework for dealing with union types, and show its work in pra...
We propose union types for statically typed class-based object-oriented languages as a means to enha...
A model family is a set of related models in a given language, with commonalities and variabilities ...
This artifact contains the mechanical formalization of the calculi associated with the paper Union T...
Semistructured databases are treated as dynamically typed: they come equipped with no independent sc...
Semistructured databases are treated as dynamically typed: they come equipped with no independent sc...
AbstractType assignment systems with intersection and union types are introduced. Although the subje...
Union types are nowadays a common feature in many modern programming languages. This paper investiga...
The last few years have seen the fast and ubiquitous diffusion of JSON as one of the most widely use...
We propose a semantically grounded theory of session types which relies on intersection and union ty...
International audienceThe last few years have seen the fast and ubiquitous diffusion of JSON as one ...
This paper discusses the new property characteristics in the Meta Object Facil-ity 2.0, namely subse...
The last few years have seen the fast and ubiquitous diffusion of JSON as one of the most widely use...
Type systems express structural information about data, are human readable and hence crucial for und...
In this essay, I present the advantages and, I dare say, the beauty of programming in a language wit...
DOI
Add to ORKG