skip to main content

Résultats 1 - 20 sur 143  pour PSL-Explore

Résultats 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

ICFP '16 : Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming September 18-24, 2016, Nara, Japan

ICFP'16 ICFP'16 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming 21 Nara, Japan September 18-24, 2016 ; Garrigue, Jacques ; Keller, Gabriele (1952-....) ; Sumii, Eijiro ; Association for computing machinery Special interest group on programming languages Etats Unis

New York : Association for Computing Machinery, 2016

Voir les exemplaires

2
Material Type:
Thèse
Ajouter à Mon espace

A synchronous functional language with integer clocks

Guatto, Adrien (1987-....) ; Cohen, Albert Henri (1973-....) ; Pouzet, Marc ; Berry, Gérard (1948-....) ; Sheeran, Mary ; Simone, Robert de (1957-....) ; Edwards, Stephen A. (1970-....) ; Ghica, Dan ; Duranton, Marc ; Mandel, Louis (1978-....) ; Université de Recherche Paris Sciences et Lettres - PSL Research University ; École doctorale de Sciences mathématiques de Paris Centre, Paris ; École normale supérieure, Paris 1985-.... ; École normale supérieure, Département d'informatique, Paris ; 1985-....

2016

Accessible en ligne. Accessible en version papier

3
Material Type:
Livre
Ajouter à Mon espace

ICFP '15 : Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming August 31 - September 2, 2015, Vancouver, BC, Canada

ICFP'15 ICFP'15 Proceedings of the 2015 ACM SIGPLAN International Conference on Functional Programming 20 Vancouver August 31 - September 2, 2015 ; Kathleen, Fisher ; Reppy, John H. (1960-....) ; Association for computing machinery Special interest group on programming languages Etats Unis

New York : Association for Computing Machinery, 2015

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

ICFP '14 : Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming September 1-3, 2014, Gothenburg, Sweden

ICFP'14 ICFP'14 Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming 19 Gothenburg September 1-3, 2014 ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York : Association for Computing Machinery, 2014

Voir les exemplaires

5
Programmation fonctionnelle : cours + exos corrigés
Material Type:
Livre
Ajouter à Mon espace

Programmation fonctionnelle : cours + exos corrigés

Violard, Eric

Paris : Dunod, DL 2014, cop. 2014

Disponible(Obtenir)

6
Apprendre à programmer avec OCaml : algorithmes et structures de données
Material Type:
Livre
Ajouter à Mon espace

Apprendre à programmer avec OCaml : algorithmes et structures de données

Conchon, Sylvain. ; Filliâtre, Jean-Christophe.

Paris : Eyrolles, 2014

Voir les exemplaires(Obtenir)

7
Apprendre à programmer avec OCaml : algorithmes et structures de données
Material Type:
Livre
Ajouter à Mon espace

Apprendre à programmer avec OCaml : algorithmes et structures de données

Conchon, Sylvain (1972-....) ; Filliâtre, Jean-Christophe (1971-....)

Paris : Eyrolles, DL 2014, cop. 2014

Disponible(Obtenir)

8
Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la compléxité
Material Type:
Livre
Ajouter à Mon espace

Exercices de programmation fonctionnelle en OCaml : une approche pédagogique par l'algorithmique, la preuve et la compléxité

Carrier, Fabienne (19..) ; Lafourcade, Pascal (1977-....) ; Mounier, Laurent

Paris : Ellipses, DL 2014, cop. 2014

Disponible(Obtenir)

9
Material Type:
Livre
Ajouter à Mon espace

ICFP '13 : proceedings of the 2013 ACM SIGPLAN International conference on functional programming September 25-27, 2013, Boston(Massachusetts), USA

ICFP'13 ICFP'13 Proceedings of the 2013 ACM SIGPLAN International conference on Functional programming 18 Boston(MA) ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York : Association for Computing Machinery, 2013

Voir les exemplaires(Obtenir)

10
Initiation à la programmation de l'analyse numérique : listes et récursivité OCAML-ERLANG
Material Type:
Livre
Ajouter à Mon espace

Initiation à la programmation de l'analyse numérique : listes et récursivité OCAML-ERLANG

Jean-Baptiste, Gérald

Toulouse : Cépaduès, impr. 2012

Disponible(Obtenir)

11
Material Type:
Livre
Ajouter à Mon espace

ICFP '11 : proceedings of the 2011 ACM SIGPLAN International conference on functional programming September 19-21, 2011, Tokyo, Japan

Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York : Association for Computing Machinery, 2011

Voir les exemplaires(Obtenir)

12
Studia Informatica Universalis : JFLA 2011. Vol. 9.2
Material Type:
Livre
Ajouter à Mon espace

Studia Informatica Universalis : JFLA 2011. Vol. 9.2

Journées francophones des langages applicatifs, 22, 2011 22, 2011, [La Bresse, Vosges] ; Institut national de recherche en informatique et en automatique, France

Paris : Hermann, impr. 2011

Disponible(Obtenir)

13
Material Type:
Livre
Ajouter à Mon espace

ICFP '10 : proceedings of the 2010 ACM SIGPLAN International conference on functional programming September 27-29, 2010, Baltimore, Maryland, USA

ACM SIGPLAN International conference on functional programming ACM SIGPLAN International conference on functional programming 2010 Baltimore, Md. ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis

New York : Association for Computing Machinery, 2010

Voir les exemplaires(Obtenir)

14
JFLA 2010 : actes des vingt-et-unièmes journées francophones des langages applicatifs
Material Type:
Livre
Ajouter à Mon espace

JFLA 2010 : actes des vingt-et-unièmes journées francophones des langages applicatifs

Journées francophones des langages applicatifs 21, 2010, [Vieux-Port La Ciotat] ; Mayero, Micaela (1971-....) ; Conchon, Sylvain (1972-....)

Paris : Hermann éd., cop. 2010

Disponible(Obtenir)

15
Material Type:
Versions multiples

JFLA 09 : actes des vingtièmes journées francophones des langages applicatifs

Journées francophones des langages applicatifs 20, 2009, Saint-Quentin sur Isère ; Mayero, Micaela (1971-....) ; Schmitt, Alan

Plusieurs versions trouvées
Il y a 2 versions

16
Material Type:
Versions multiples

Pattern calculus : computing with functions and structures

Jay, Barry.

Plusieurs versions trouvées
Il y a 2 versions

17
Programming in Haskell
Material Type:
Livre
Ajouter à Mon espace

Programming in Haskell

Hutton, Graham.

Cambridge G.B. New York : Cambridge University Press, 2007

Voir les exemplaires(Obtenir)

18
JFLA 2005 : Journées francophones des langages applicatifs 08 au 10 mars 2005, Obernai, France
Material Type:
Acte de conférence
Ajouter à Mon espace

JFLA 2005 : Journées francophones des langages applicatifs 08 au 10 mars 2005, Obernai, France

Journées francophones des langages applicatifs 16 2005 Obernai, Bas-Rhin. ; Michel, Olivier, auteur d'une thèse d'informatique (1996) (19..-....) ; Institut national de recherche en informatique et en automatique, France

Le Chesnay : INRIA, 2005

Voir les exemplaires(Obtenir)

19
Material Type:
Livre
Ajouter à Mon espace

ICFP'04 : proceedings of the ninth ACM SIGPLAN international conference on functional programming, september 19-21, 2004, Snowbird, Utah, USA

New York : ACM Press, 2004

Voir les exemplaires(Obtenir)

20
Apprentissage de la programmation avec OCaml
Material Type:
Livre
Ajouter à Mon espace

Apprentissage de la programmation avec OCaml

Dubois, Catherine, informaticienne ; Ménissier-Morain, Valérie

Paris : Hermès science publ. Lavoisier, DL 2004

Disponible(Obtenir)

Résultats 1 - 20 sur 143  pour PSL-Explore

Résultats 1 2 3 4 5 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (9)
  2. Livres  (123)
  3. Thèses  (12)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1985  (20)
  2. 1985 à 1991  (54)
  3. 1992 à 1998  (37)
  4. 1999 à 2007  (17)
  5. Après 2007  (16)
  6. Plus d’options open sub menu

Langue 

  1. Anglais  (100)
  2. Français  (43)
  3. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré