Research

cs.bham.ac.uk

The xSLAM Project: using linear logic and explicit substitutions to construct and implement more efficient abstract machines.

209 visits Mar 13, 2024 Details

cs.chalmers.se

The Multi Group: HBC, Fudgets, Cayenne.

14 visits Feb 8, 2025 Details

inf.ed.ac.uk

Laboratory for Foundations of Computer Science, U of Edinburgh, UK

307 visits Feb 12, 2026 Details

fun.kurims.kyoto-u.ac.jp

FP Research Group at U of Kyoto, Japan: Objective Label and Ocaml libraries.

146 visits Feb 25, 2025 Details

cs.ucl.ac.uk

The Information Systems Research Group

479 visits Apr 12, 2025 Details

cs.nott.ac.uk

Languages and Programming Research Group at University of Nottingham, UK

30 visits May 24, 2024 Details

cs.sfu.ca

Logic And Functional Programming Group.

67 visits Aug 26, 2024 Details

cs.york.ac.uk

Functional programming research group at Yale University.

292 visits Oct 6, 2025 Details