La description :( rodolphe.lepigre@inria.fr ) postdoc - inria (deducteam), lsv, cnrs, université paris-saclay about me research contact menu about me research contact about me i was a phd student at the lama (laborat...
Classement Alexa Global: # 5,287,749
Server:Apache/2.4.29 (Unix)...
L'adresse IP principale: 91.134.132.29,Votre serveur Bulgaria,Sofia
ISP:Etropol Cabel Company Ltd. TLD:fr Code postal:bg
Ce rapport est mis à jour en 30-Jul-2018
Created Date:
2013-02-06
Changed Date:
2018-02-06
Expires Date:
2019-06-02
Données techniques du lepigre.fr
Geo IP vous fournit comme la latitude, la longitude et l'ISP (Internet Service Provider) etc. informations.
Notre service GeoIP a trouvé l'hôte lepigre.fr.Actuellement, hébergé dans Bulgaria et son fournisseur de services est Etropol Cabel Company Ltd. .
Les informations d'en-tête HTTP font partie du protocole HTTP que le navigateur d'un utilisateur envoie à appelé Apache/2.4.29 (Unix) OpenSSL/1.1.0g contenant les détails de ce que le navigateur veut et acceptera de nouveau du serveur Web.
MX preference = 5, mail exchanger = mx2.ovh.net. MX preference = 100, mail exchanger = mxb.ovh.net. MX preference = 1, mail exchanger = mx1.ovh.net.
HtmlToText
( rodolphe.lepigre@inria.fr ) postdoc - inria (deducteam), lsv, cnrs, université paris-saclay about me research contact menu about me research contact about me i was a phd student at the lama (laboratoire de mathématiques, université savoie mont blanc, france), in the limd team. my advisors were christophe raffalli and pierre hyvernat . i am now a postdoc at inria (deducteam). research my research interests include: type theory classical realizability logic abstract machines compilers functional programming the page of my phd thesis documents, slides and tools: subtyping-based type-checking for system f with induction and coinduction ( pdf draft ). with christophe raffalli , 2016. a classical realizability model for a semantical value restriction ( pdf draft ). to appear in volume 9632 of the lecture notes in computer science series. to be presented at the european symposium on programming (esop) 2016. mêler combinateurs, continuations et ebnf pour une analyse syntaxique efficace en ocaml ( pdf ) avec christophe raffalli , 2014. decap , a parser combinator library and syntax extension mecanism for ocaml written with christophe raffalli during the summer 2014. realizability, testing and game semantics , a talk i gave at galop 2014 ( slides , draft ) patoline , a modern digital typesetting system contact information e-mail: rodolphe.lepigre@inria.fr office: bureau rh-b-107, lsv, cnrs & ens de cachan, 61, avenue du président wilson, 94235 cachan cedex, france last update 04/11/2017.
Whois est un protocole qui permet d'accéder aux informations d'enregistrement.Vous pouvez atteindre quand le site Web a été enregistré, quand il va expirer, quelles sont les coordonnées du site avec les informations suivantes. En un mot, il comprend ces informations;
%% %% This is the AFNIC Whois server. %% %% complete date format : DD/MM/YYYY %% short date format : DD/MM %% version : FRNIC-2.5 %% %% Rights restricted by copyright. %% See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/ %% %% Use '-h' option to obtain more information about this service. %% %% [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> lepigre.fr %% %% RL Net [##########] - RL IP [#########.] %%
nic-hdl: ANO00-FRNIC type: PERSON contact: Ano Nymous remarks: -------------- WARNING -------------- remarks: While the registrar knows him/her, remarks: this person chose to restrict access remarks: to his/her personal data. So PLEASE, remarks: don't send emails to Ano Nymous. This remarks: address is bogus and there is no hope remarks: of a reply. remarks: -------------- WARNING -------------- registrar: OVH changed: 06/02/2013 anonymous@anonymous anonymous: YES obsoleted: NO eligstatus: ok eligdate: 06/02/2013 10:01:36 source: FRNIC
TYPE domain RegrInfo DISCLAIMER % % This is the AFNIC Whois server. % % complete date format : DD/MM/YYYY % short date format : DD/MM % version : FRNIC-2.5 % % Rights restricted by copyright. % See https://www.afnic.fr/en/products-and-services/services/whois/whois-special-notice/ % % Use '-h' option to obtain more information about this service. % % [2600:3c03:0000:0000:f03c:91ff:feae:779d REQUEST] >> lepigre.fr % % RL Net [##########] - RL IP [#########.] %
REMARKS -------------- WARNING -------------- While the registrar knows him/her, this person chose to restrict access to his/her personal data. So PLEASE, don't send emails to Ano Nymous. This address is bogus and there is no hope of a reply. -------------- WARNING --------------
Nous utilisons des cookies pour personnaliser votre expérience sur notre site. En poursuivant votre navigation, vous acceptez cette utilisation. Apprendre encore plus
lepigre.fr rapport :
Visitez le site