Add to ORKGThe goal of the Mathemagix project is to develop a new and free software for computer algebra and computer analysis, based on a strongly typed and compiled language. In this paper, we focus on the underlying type system of this language, which allows for heavy overloading, including parameterized overloading with parameters in so called “categories”. The exposition is informal and aims at giving the reader an overview of the main concepts, ideas and differences with existing languages. In a forthcoming paper, we intend to describe the formal semantics of the type system in more details
In this paper we present a type system for the data language of mCRL2, a process algebra based langu...
LATEX [1] is the type setting system which is used to produce most of your class notes for this year...
The paper focuses on means of defining parameterized type categories and algorithms built on such ty...
The goal of the Mathemagix project is to develop a new and free software for computer algebra and co...
AbstractThis paper presents a type system for support of subtypes, parameterized types with sharing ...
This article presents a type system based on the Damas-Milner system [DM82], that supports overloadi...
Some of the earliest computer algebra systems (CAS) looked like overloaded languages of the same era...
We present a novel approach to allow for overloading of identifiers in the spirit of type classes. O...
Our objective is to construct a suitable type system for the Erasmus language by understanding the n...
Abstract. The introduction of first-class type classes in the Coq system calls for re-examination of...
There is considerable current interest in the design and construction of directly executable modelin...
The generic programming paradigm has received considerable at-tention since the publication of the C...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
Formalized mathematics is mathematical knowledge (definitions, theorems, and proofs) represented in ...
AbstractA new extension of the Hindley/Milner type system is proposed. The type system has algebraic...
In this paper we present a type system for the data language of mCRL2, a process algebra based langu...
LATEX [1] is the type setting system which is used to produce most of your class notes for this year...
The paper focuses on means of defining parameterized type categories and algorithms built on such ty...
The goal of the Mathemagix project is to develop a new and free software for computer algebra and co...
AbstractThis paper presents a type system for support of subtypes, parameterized types with sharing ...
This article presents a type system based on the Damas-Milner system [DM82], that supports overloadi...
Some of the earliest computer algebra systems (CAS) looked like overloaded languages of the same era...
We present a novel approach to allow for overloading of identifiers in the spirit of type classes. O...
Our objective is to construct a suitable type system for the Erasmus language by understanding the n...
Abstract. The introduction of first-class type classes in the Coq system calls for re-examination of...
There is considerable current interest in the design and construction of directly executable modelin...
The generic programming paradigm has received considerable at-tention since the publication of the C...
Algebraic structures are a concept from mathematics to bring sets and their operations together. Thi...
Formalized mathematics is mathematical knowledge (definitions, theorems, and proofs) represented in ...
AbstractA new extension of the Hindley/Milner type system is proposed. The type system has algebraic...
In this paper we present a type system for the data language of mCRL2, a process algebra based langu...
LATEX [1] is the type setting system which is used to produce most of your class notes for this year...
The paper focuses on means of defining parameterized type categories and algorithms built on such ty...