56 search results - page 1 / 12 » A soft-typing system for Erlang |
ERLANG
2004
ACM
14 years 4 months ago
2004
ACM
ERLANG
2004
ACM
14 years 4 months ago
2004
ACM
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
ERLANG
2006
ACM
14 years 5 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
ERLANG
2007
ACM
14 years 2 months ago
2007
ACM
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
TPHOL
2007
IEEE
14 years 5 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...