kb.pub

Research - Musharof Chy

Zeige 1 - 4 von 4 Unternehmen

A Practical Subtyping System For Erlang

Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.

140 Aufrufe
25. Jan. 2025

HiPE

High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala Universi...

155 Aufrufe
25. Jan. 2025

Model checking

Model checking Erlang code through formal methods.

297 Aufrufe
25. Jan. 2025