Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang Per Gustafsson1 and Konstantinos Sagonas2 1 2

Source URL: user.it.uu.se

Gradual Typing of Erlang Programs: A Wrangler Experience Konstantinos Sagonas Daniel Luna School of Electrical and Computer Engineering, National Technical University of Athens, Greece

Source URL: user.it.uu.se

Extended Process Registry

Source URL: www.erlang.se

De Vergulde Swaen Mededelingenkrant Jaargang 2 nr. 1 V erlang ni et

Source URL: www.swaen.org

Verification of Timed Erlang/OTP Components Using the Process Algebra µCRL Qiang Guo and John Derrick Department of Computer Science, The University of Sheffield,

Source URL: www.erlang.se

Towards an Abstraction for Remote Evaluation in Erlang Adrian Francalanza Tyron Zerafa

Source URL: staff.um.edu.mt

Optimising TCP/IP connectivity

Source URL: www.erlang.se

A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings 1 ´ Miguel Jimenez

Source URL: www.erlang.se

Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1

Source URL: www.it.uu.se

• Software engineering
• Computing
• Computer programming
• Type theory
• Concurrent programming languages
• Type systems
• Functional languages
• Data types
• Erlang
• Type inference
• Scala
• HindleyMilner type system

Native code compilation of Erlang’s bit syntax Per Gustafsson Konstantinos Sagonas Computing Science Dept.

Source URL: user.it.uu.se