Research - Musharof Chy

Musharof Chy

2579 просмотров

Создан 11 месяцев назад

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

Musharof Chy

2579 просмотров

Создан 11 месяцев назад

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

Musharof Chy

2579 просмотров

Создан 11 месяцев назад

An ongoing research project at Uppsala University.

Musharof Chy

2579 просмотров

Создан 11 месяцев назад

Model checking Erlang code through formal methods.