[Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

Thu 12 Jan 17 − 21:18, Thomas Hunger(tehunger at gmail.com) a écrit:
> Hi,
> 
> For my own curiosity: Is your adviser's work online somewhere?
> 

Hi,

All its publications are on his personal page at https://www.irif.fr/~gc/

The current work is yet unreleased, but there is a demo of some possible
things at http://www.cduce.org/ocaml/bi

-- 
Théophane Hufschmitt
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://lists.science.uu.nl/pipermail/nix-dev/attachments/20170113/0cbeada4/attachment.sig>