AUTHORS

The Kappa language was defined by Vincent Danos and Cosimo Laneve. Its
further development involved CNRS, HMS and, INRIA (in nominal
order). The teams were lead by Jean Krivine, Walter Fontana, and
Jérôme Feret respectively.

The simulator was implemented by Jean Krivine (CNRS 2010-2016) and
Pierre Boutillier (PPS 2015 and HMS 2016).

The computation of stories was implemented by Jérôme Feret (INRIA
2010-2016).

The static analyser was implemented by Jérôme Feret (INRIA 2010-2016)
and Kim Quyên Lý (INRIA 2015-2016).

The interactive aspects of the simulator were the work of Mutaamba
Maasha (HMS 2016) and Pierre Boutillier (HMS 2016).

######################################################################
HMS = Harvard Medical School.
CNRS = Centre National de la Recherche Scientifique.
PPS = Preuves Programmes Systèmes at
  Univ Paris Diderot, Sorbonne Paris Cité, PPS, UMR 7126 CNRS.