Implementing the Hindley-Milner type system in F# - Alberto Vergara
Details
Implementing the Hindley-Milner type system in F# - Alberto Vergara
In the context of programming languages, a type system is a collection of rules that assign a property called a type to the various terms that form a program such as variables, expressions, functions or modules.
The Hindley-Milner (Damas-Milner) type system provides an answer to the following question:
"Does a type-checking algorithm, or more precisely the type assignment algorithm (since types are assigned by the compiler, and need not be mentioned by the programmer) find the most general type possible for every expression and declaration?"
This talk presents the Hindley-Milner type system and an implementation in F#.
Who is Jose Alberto Vergara?
I am a software engineer and a PhD candidate at the University of Technology Sydney. My interest are: Functional programming, compilers, pattern calculus and programming languages. Publications: Growing a Language in Pattern Calculus ( http://dx.doi.org/10.1109/TASE.2013.37 ).
Schedule
6:00 - Pizza and socialising
6:30 - F# News by Nelson
6:45 - Giveaways
7:00 - Presentation by Alberto Vergara
Please note: this meeting will be held at Readify and will start at 6pm.