| Organisation: | INRIA |
| Unité de Recherche: | Sophia Antipolis |
| Projet: | lemme |
| Téléphone: | (+334/04) 92 38 76 32 |
| Fax: | (+334/04) 92 38 50 60 |
| E-mail: | <Kuntal.Das_Barman@sophia.inria.fr> |
|
|
Type theoretic semantics for programming languages (although the cover page is in French, the contents are in English).
Presentation: Tex | Postscript | PDF
Codes : Coq file 1 | Coq file 2 | OCaml file
My résumé : Tex | Postscript | PDF
Her résumé : Tex | Postscript | PDF
Photos from our marriage , few more and we infront of the Tajmahal .