<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In this paper we will be taking a look at type inference and its uses for binding-time analysis, dynamic typing and better error messages. We will propose a new binding-time analysis algorithm ℬ, which is a modification of an already existing algorithm by Gomard [4], and discuss the speed difference.</p></abstract>

In this paper we will be taking a look at type inference and its uses for binding-time analysis, dynamic typing and better error messages. We will propose a new binding-time analysis algorithm ℬ, which is a modification of an already existing algorithm by Gomard [4], and discuss the speed difference.

Enhanced type inference for binding-time analysis

Acta Universitatis Sapientiae, Informatica

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

{"article-title":"Enhanced type inference for binding-time analysis"}

In this paper we will be taking a look at type inference and its uses for binding-time analysis, dynamic typing and better error messages. We will propose a...

Enhanced type inference for binding-time analysis

Online veröffentlicht: 29. Jan. 2021

Seitenbereich: 232 - 250

Eingereicht: 09. Juni 2020

Akzeptiert: 12. Okt. 2020

DOI: https://doi.org/10.2478/ausi-2020-0014

Schlüsselwörter
type inference, dynamic typing, binding-time analysis, partial evaluation, functional languages

© 2020 Mátyás Szokoli et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Enhanced type inference for binding-time analysis

Online veröffentlicht: 29. Jan. 2021

Seitenbereich: 232 - 250

Eingereicht: 09. Juni 2020

Akzeptiert: 12. Okt. 2020

DOI: https://doi.org/10.2478/ausi-2020-0014

Schlüsselwörtertype inference, dynamic typing, binding-time analysis, partial evaluation, functional languages

© 2020 Mátyás Szokoli et al., published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Schlüsselwörter
type inference, dynamic typing, binding-time analysis, partial evaluation, functional languages