@inproceedings{10.1007/978-3-662-43799-5_27,
    Abstract = {The goal of the Mathemagix project is to develop a new and freesoftware 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 detail.},
    Address = {Berlin, Heidelberg},
    Author = {van der Hoeven, Joris},
    BookTitle = {Computer Mathematics},
    Editor = {Feng, Ruyong and Lee, Wen-shin and Sato, Yosuke},
    File = {Overview of the Mathemagix type system - mmx\_typing2 - a.pdf},
    ISBN = {978-3-662-43799-5},
    Pages = {397--425},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Overview of the Mathemagix Type System},
    Year = {2014},
    date-added = {2023-02-02 19:15:05 +0100},
    date-modified = {2023-02-02 19:15:05 +0100},
    doi = {10.1007/978-3-662-43799-5_27}
}

@inproceedings{10.1007/978-3-662-43799-5_27, Abstract = {The goal of the Mathemagix project is to develop a new and freesoftware 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 detail.}, Address = {Berlin, Heidelberg}, Author = {van der Hoeven, Joris}, BookTitle = {Computer Mathematics}, Editor = {Feng, Ruyong and Lee, Wen-shin and Sato, Yosuke}, File = {Overview of the Mathemagix type system - mmx_typing2 - a.pdf}, ISBN = {978-3-662-43799-5}, Pages = {397--425}, Publisher = {Springer Berlin Heidelberg}, Title = {Overview of the Mathemagix Type System}, Year = {2014}, date-added = {2023-02-02 19:15:05 +0100}, date-modified = {2023-02-02 19:15:05 +0100}, doi = {10.1007/978-3-662-43799-5_27} }