kb.pub

Research - Musharof Chy

表示中 1 - 4 の 4 企業

A Practical Subtyping System For Erlang

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

140 閲覧数
2025年1月25日

HiPE

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

155 閲覧数
2025年1月25日

Project Plan: Process structure extraction from ERLANG /OTP systems

An ongoing research project at Uppsala University.

431 閲覧数
2025年1月25日

Model checking

Model checking Erlang code through formal methods.

297 閲覧数
2025年1月25日
Research - Musharof Chy - 企業 | JA | kb.pub