Research - Musharof Chy

Musharof Chy

2579 vues

Créé il y a 11 mois

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

Musharof Chy

2579 vues

Créé il y a 11 mois

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

Musharof Chy

2579 vues

Créé il y a 11 mois

An ongoing research project at Uppsala University.

Musharof Chy

2579 vues

Créé il y a 11 mois

Model checking Erlang code through formal methods.