https://e-sygoing.link Latest links in the Research category en-us Mon, 25 May 2026 12:32:11 -0400 https://e-sygoing.link/link/5646502-a-practical-subtyping-system-for-erlang Wadler's type system for Erlang developed at Glasgow University with Simon Marlow. Tue, 23 Jul 2024 20:05:50 -0400 https://e-sygoing.link/go/5646502 https://e-sygoing.link/link/5646504-erlang-quickcheck Erlang/QuickCheck is a library for random testing of Erlang programs against specifications. Sun, 07 Jul 2024 03:48:13 -0400 https://e-sygoing.link/go/5646504 https://e-sygoing.link/link/5646503-hipe High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang. Tue, 16 Jan 2024 23:11:36 -0500 https://e-sygoing.link/go/5646503 https://e-sygoing.link/link/5646500-safer-erlang A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang. Sun, 26 Mar 2023 00:20:56 -0400 https://e-sygoing.link/go/5646500