kb.pub

Research - Musharof Chy

Mostrando 1 - 4 de 4 Negocios

A Practical Subtyping System For Erlang

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

140 vistas
25 ene 2025

HiPE

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

155 vistas
25 ene 2025

Model checking

Model checking Erlang code through formal methods.

297 vistas
25 ene 2025