In English

Typing the Untypeable in Erlang - A static type system for Erlang using Partial Evaluation

Nachiappan Valliappan
Göteborg : Chalmers tekniska högskola, 2018. 51 s.
[Examensarbete på avancerad nivå]

Erlang is a dynamically typed concurrent functional programming language popular for its use in distributed applications. Being a dynamically typed language by design, the Erlang compiler allows the successful compilation and execution of many programs which would be rejected by a type checker of a statically typed language. This idiosyncrasy of Erlang makes it difficult to retrofit static type checking technology onto the language. In this thesis, we develop a static type system suitable for Erlang using a program specialization technique called partial evaluation.

Nyckelord: Erlang, Type Inference, Hindley-Milner, Partial evaluation



Publikationen registrerades 2018-11-02. Den ändrades senast 2018-11-02

CPL ID: 256252

Detta är en tjänst från Chalmers bibliotek