alain.frisch.fr

Alain Frisch: Home page

Sudoku solver in Objective Caml. Nostalgy: keyboard productivity extension for Thunderbird. The natdynlink branch in OCaml's CVS. A small compiler project. Debian's Bug Squashing Parties. This site is automatically generated by a CDuce program from an XML description. Since 2007, I'm working for LexiFi. More complete, but out-dated. In French.). In a previous life, I was working as a researcher in the Gallium. Group at INRIA Rocquencourt. A type-safe and efficient XML transformation language.

http://alain.frisch.fr/

OVERVIEW OF alain.frisch.fr

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

15

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR ALAIN.FRISCH.FR

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

October

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Friday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 4.7 out of 5 with 7 reviews

5 star

5

4 star

2

3 star

0

2 star

0

1 star

0

Hey there! Start your review of alain.frisch.fr

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.8 seconds

CONTACTS AT ALAIN.FRISCH.FR

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

CONTENT

PAGES IN
THIS WEBSITE

15

SSL

EXTERNAL LINKS

14

SITE IP

62.210.114.84

LOAD TIME

0.791 sec

SCORE

6.2

PAGE TITLE

Alain Frisch: Home page | alain.frisch.fr Reviews

<META> DESCRIPTION

Sudoku solver in Objective Caml. Nostalgy: keyboard productivity extension for Thunderbird. The natdynlink branch in OCaml's CVS. A small compiler project. Debian's Bug Squashing Parties. This site is automatically generated by a CDuce program from an XML description. Since 2007, I'm working for LexiFi. More complete, but out-dated. In French.). In a previous life, I was working as a researcher in the Gallium. Group at INRIA Rocquencourt. A type-safe and efficient XML transformation language.

<META> KEYWORDS

1 cduce

2 ocamlduce

3 xstream

4 phd defense

5 papers and talks

6 ocaml software

7 flexdll

8 informatique

9 mathématiques

10 séminaire des élèves

CONTENT

Page content here

KEYWORDS ON PAGE

cduce,ocamlduce,xstream,phd defense,papers and talks,ocaml software,flexdll,informatique,mathématiques,séminaire des élèves,resume en,research oriented cv en,research oriented cv fr,sitemap,alain frisch,development team,about me,research,old stuff

SERVER

Apache/2.4.7 (Ubuntu)

CONTENT-TYPE

iso-8859-1

GOOGLE PREVIEW

Alain Frisch: Home page | alain.frisch.fr Reviews

https://alain.frisch.fr

Sudoku solver in Objective Caml. Nostalgy: keyboard productivity extension for Thunderbird. The natdynlink branch in OCaml's CVS. A small compiler project. Debian's Bug Squashing Parties. This site is automatically generated by a CDuce program from an XML description. Since 2007, I'm working for LexiFi. More complete, but out-dated. In French.). In a previous life, I was working as a researcher in the Gallium. Group at INRIA Rocquencourt. A type-safe and efficient XML transformation language.

INTERNAL PAGES

alain.frisch.fr

1

Alain Frisch: Nostalgy: keyboard productivity extension for Thunderbird

http://alain.frisch.fr/soft_mozilla.html

Nostalgy: keyboard productivity extension for Thunderbird. Nostalgy: keyboard productivity extension for Thunderbird. Nostalgy is an extension for Mozilla Thunderbird. Whose purpose is to save time. By doing more operations with the keyboard. If you want to use Thunderbird without sacrificing the productivity you had with good old mutt/pine, this extension is for you! Nostalgy is now hosted on Github. Nostalgy: keyboard productivity extension for Thunderbird.

2

Mon compilateur

http://alain.frisch.fr/compilo.html

Page mise à jour le 11 novembre 1999. J'ai suivi le cours de Licence d'Informatique de Patrick Cousot, Langages de programmation et Compilateurs. Les Travaux Dirigés ont consisté en l'écriture d'un petit compilateur. J'ai choisi d'implémenter un langage fonctionnel, sous ensemble de Caml Light que j'avais découvert en Math Sup dans le cadre de l'option Informatique. Le compilateur est lui-même écrit en Caml Light, mais il est assez loin d'être bootstrapé. Schéma d'ensemble du compilateur. L'arbre syntaxi...

3

Alain Frisch

http://alain.frisch.fr/cv_eng_recherche.html

Born May 13th, 1978. French citizen. Design of programming languages, type systems, compilation. XML technologies and support for XML in programming languages (advanced typechecking techniques, streaming transformations). Cristal/Gallium project). Research associate. 2004-2007. Paris, France). Preparation of a master and a Ph.D thesis (defended in December 2004). Theory, design and implementation of a functional language adapted to XML. Advisor: Giuseppe Castagna. 2001-2004. Training in Telecom Paris.

4

Alain Frisch: OCaml software

http://alain.frisch.fr/soft.html

Patch record: record scoping rule for labels. Packaged first-class modules for OCaml. Optional fields in modules. Using primitives from shared libraries. Wlex: a lexer generator for large encodings, derived from ocamllex. Nostalgy: keyboard productivity extension for Thunderbird. Sudoku solver in Objective Caml. Nostalgy: keyboard productivity extension for Thunderbird. This page contains my personal production of software related to the Objective Caml. I'm the main developer of the CDuce. Recursive: man...

5

Alain Frisch: Mathématiques

http://alain.frisch.fr/math.html

Exposé de maîtrise, juin 1999. Rapport de TIPE, 1998. Les textes présentés sont au format .ps. Si vous avez des problèmes pour lire les textes, ou si avez des suggestions ou des commentaires, n'hésitez pas à me contacter. Ma page d' informatique. Vous interessera peut-être aussi. Equations de point fixe endofonctoriel et équations de domaine dans CPO. Exposé de maîtrise, juin 1999. Entropie topologique et définition du chaos. Rapport de TIPE, 1998. Le lemme de Zorn. Théorème de convergence dominée.

UPGRADE TO PREMIUM TO VIEW 10 MORE

TOTAL PAGES IN THIS WEBSITE

15

LINKS TO THIS WEBSITE

mlworkshop.org

Steering Committee - ACM Workshop on ML

http://www.mlworkshop.org/steering-committee

ACM Workshop on ML. ACM SIGPLAN Workshop on ML, September 2015. ML 2015: call for papers. ACM SIGPLAN Workshop on ML, September 2016. ML 2016: call for papers. The main purpose of the ML Workshop Steering Committee is to provide continuity of the workshop and to offer help and advice to the current organizer(s) of the workshop. The responsibilities of the steering committee are:. The membership of the steering committee is determined by the following by-laws:. The ML Workshop Steering Committee maintains...

strangelights.com

Robert Pickering's Strange Blog

http://strangelights.com/blog/Default.aspx

Robert Pickering's Strange Blog. The "informaticien anglais": A blog about an English programmer living and working in Paris. Wednesday, September 04, 2013. The Software Developer Identity Crisis. This is post tries to explain some of what I was talking about in my talk at weactuallybuildstuff.com. It’s series of two posts, I’ve tried write it as one post but it got too long and icky, so I’ve split it into two. This is where the science bit comes in. Wikipedia currently defines science as:. Science (from...

frisch.fr

Alain Frisch

http://frisch.fr/cv_eng.html

Http:/ alain.frisch.fr. Tel: 33 6 12 36 85 02. Born May 13th, 1978. French citizen. Since June 2011), Head of the R&D team (7-10 engineers). Applying techniques from programming language theory to model financial derivatives and streamline their processing. Keywords: financial contracts, mathematical finance, functional programming, domain-specific languages, OCaml. Wink Technologies (now MyLife. Working on geocoding features for a search engine specialized in social networks. Participation in program co...

ocaml.info

Markus Mottl - Open Source Software

http://www.ocaml.info/software.html

Most but not all of the open source software I develop or maintain can be found on my GitHub page. The GitHub project homepages will all contain more detailed information and documentation. Below you can find a complete list of all of my public projects with links to external repositories and documentation. My OCaml software generally uses Oasis. For package specification to make installation and package management as easy as possible on all platforms supported by OCaml. I also release OPAM packages.

benediktmeurer.de

Projects | Benedikt Meurer

http://benediktmeurer.de/projects

Below is a brief (yet incomplete) list of open source and free software projects where I am involved or to which I have contributed a significant amount of code. You might also want to check my GitHub. Project provides a new ARM backend for the OCaml. Native code compiler, which fixes various bugs and shortcomings of the previous backend and includes support for both. Targets (currently limited to Linux). Project serves as a playground for experimenting with new features and changes to the OCaml. Is a co...

UPGRADE TO PREMIUM TO VIEW 9 MORE

TOTAL LINKS TO THIS WEBSITE

14

OTHER SITES

alain.dubaiposter.com

Free Classifieds website in Al Ain - DubaiPoster

Best Website to Buy and Sell. Used items or Find Jobs in Al Ain". Login to your Account. Register for a New Account. Sign in Using Facebook. Undefined variable: all search child categories [ APP/View/Elements/header.ctp. All search child categories. Important; } /style! Col-sm-6 clearfix start - div class=col-sm-6 clearfix! Row start - div class=row! This is first tab load data from angular way- /div /div! Tab panes closed - /div! Mid part closed - /div! Row closed - div class=dot-sit h4 Don’t Sit Make M...

alain.dubizzle.com

Buy a car, rent a property or find a job in Al Ain - Free Classifieds in Al Ain | dubizzle Al Ain

Used Cars for Sale 642. Auto Accessories and Parts 105. Business and Industrial 217. Cameras and Imaging 70. Clothing and Accessories 175. Computers and Networking 203. DVDs and Movies 3. Furniture, Home and Garden 921. Jewelry and Watches 61. Mobile Phones and PDAs 218. Tickets and Vouchers 11. Apartment for Sale 0. Villa/House for Sale 4. Commercial for Sale 4. Multiple Units for Sale 1. Land for Sale 7. Know your rights new. Compare home loan rates. Apartment/Flat for Rent 183. Villa/House for Rent 150.

alain.espaceas.com

Est en construction actuellement. Revenez nous voir bientï t! Mes modeles de sites web. Mes exemples d'album photos (Flash).

alain.fleurs.ventes.over-blog.com

ALAIN.FLEURS.VENTES - ventes de fleurs et objets décoratifs

Utilisez notre Reader et abonnez-vous aux meilleurs articles de ce blog! Ventes de fleurs et objets décoratifs. Tous mes articles sont livrables par la poste . Mes coordonnées téléphoniques sont 06/07/72/69/98. Arrangement florale Tres reel prix unitaire 35 par alain.fleurs.ventes.over-blog.com. Magnolia fleur semi latex très realiste prix unitaire 5 par alain.fleurs.ventes.over-blog.com. Orchidee en pot artificiel. BOUQUET FLORALE EN TISSUS. COMPOSITION FLORALE EN TISSUS. COMPOSITION FLORALE EN TISSUS.

alain.fr

Alain vous guide : rencontre, immobilier tourisme, auto moto sur Alain . moteur de recherche - annuaire thématique

Alain et son actualité. Alain Juppé à New York pour récolter des fonds de campagne. Alain Juppé et Fabienne Keller - sénatrice du Bas-Rhin et secrétaire nationale de l'UMP -, le 22 avril 2015. AFP/PATRICK. Le Monde. Alain Depardieu raconte Gérard dans un livre intitulé "Mon frère". I l est son aîné de trois ans et l'a longtemps protégé. Le producteur Alain Depardieu raconte dans un livre son frère, l. Midi Libre. La déclaration de Mireille Darc à Alain Delon : "Oui je l'aime, bien . Laurent Gerra imitant...

alain.frisch.fr

Alain Frisch: Home page

Sudoku solver in Objective Caml. Nostalgy: keyboard productivity extension for Thunderbird. The natdynlink branch in OCaml's CVS. A small compiler project. Debian's Bug Squashing Parties. This site is automatically generated by a CDuce program from an XML description. Since 2007, I'm working for LexiFi. More complete, but out-dated. In French.). In a previous life, I was working as a researcher in the Gallium. Group at INRIA Rocquencourt. A type-safe and efficient XML transformation language.

alain.gaudebert.fr

Alain Gaudebert | Céramiste

Aller au contenu principal. L’atelier au fil des projets. La pièce fait partie des cuissons d'avril 2015. Photo Anne Nguyen-Dao. Pièces des cuissons d'avril 2015. Photo Anne Nguyen Dao. Pièces des cuissons d'avril 2015. Photo Anne Nguyen-Dao. Cuissons d'avril 2015. Photo Anne Nguyen Dao. Cuissons d'avril 2015. Photo Anne Nguyen Dao. Volume paysage. 2014. Photo Ph. Cibille. Verger, 2014 - 20x40x10 cm. Photo Ph. Cibille. Synthèse, 2015. Photo A. Nguyen-Dao. Janvier 2015 : quoi de neuf en … 2014?

alain.giambiasi.tel

Alain GIAMBIASI

Http:/ alain.giambiasi.tel. View in Google Maps. Address – Maison. 10 rue de Villebois.

alain.gielen.ch

gielen.alain

Http:/ www.lagreu.ch/. Http:/ www.antonieburger.ch/. Http:/ www.monsieurjean.ch/. Http:/ www.fredericnannan.be/fr/home.html. Http:/ www.taillat.ch/. Http:/ www.fabiennecottagnoud.ch.

alain.goubault.fr

Accueil

Alain Goubault de Brugière. Bienvenue sur mon site web. 2005 Alain Goubault Contactez-moi.

alain.goudey.eu

Bienvenue sur le site d'Alain GOUDEY

Professeur de Marketing - NEOMA Business School. Chercheur - ERMES (CNRS 7088) - Université Paris-Dauphine. Directeur Associé - AtooMedia. Business Manager - Mediavea. A la fois Directeur Associé d' AtooMedia. Business Manager de Mediavea. Professeur Associé de Marketing à NEOMA Business School. Co-fondateur de l'Institut Smart Product and Consumption ( SPoC. Et Chercheur Associé à l' Université Paris-Dauphine. Marketing des produits high-tech. Voici une illustriation concrète de mes thèmes...2008-2014 A...