Skeletal Semantics
body
- Guillaume Ambal (transformations)
- Martin Andrieux (Python in Skel, transformation to abstract machines)
- Martin Bodin
- Nathanaëlle Courant
- Enzo Crance (necro: initial implementation)
- Philippa Gardner
- Olivier Idir
- Thomas Jensen
- Adam Khayam (JavaScript in Skel)
- Victoire Noizet (necro: language, OCaml generation, Coq generation, skeletal transformations)
- Vincent Rébiscoul
- Alan Schmitt (project leader, necro, formal semantics)