Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (3)
  • Grenoble Alpes (3)
  • Lyon (2)
  • Paris 1 (2)
  • Paris 4 (2)
  • Rennes 1 (2)
  • Sorbonne Paris Cité (2)
  • Université de Lorraine (2)
  • 131 Université Libre de Bruxelles (1)
  • Academia de Muzică Gheorghe Dima (Cluj-Napoca) (1)
  • Lille 1 (1)
  • Montpellier (1)
  • Nantes, Ecole des Mines (1)
  • Nice (1)
  • Paris 10 (1)
  • Paris 3 (1)
  • Paris Saclay (1)
  • Toulouse 3 (1)
  • Universidad de Chile. Facultad de ciencias físicas y matemáticas (1)
  • Université de Zagreb (Croatie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (9)
  • Philosophie (4)
  • Arts (1)
  • Informatique et applications (1)
  • Mathématiques (1)
  • Mathématiques Appliquées (1)
  • Mathématiques et informatique (1)
  • Mathématiques et modélisation (1)
  • Mathématiques pures (1)
  • Mathématiques. Topologie algébrique (1)
  • Optique et radiofréquence (1)
  • Sciences de l'architecture (1)
  • Staps (1)
  • Études anglophones (1)
  • Études théâtrales (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • I2S - Information, Structures, Systèmes (1)
  • MATISSE (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Arts plastiques, esthétique et sciences de l'art (Paris) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (17)
  • français (10)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Blazy Sandrine (2)
  • Amblard Maxime (1)
  • Bignon Jean-Claude (1)
  • Bodeveix Jean-Paul (1)
  • Bruguieres Alain (1)
  • Decroly Jean-Michel (1)
  • Duchanois Gilles (1)
  • Dumas Jean-Guillaume (1)
  • Duval Dominique (1)
  • Filali Mamoun (1)
  • Fleury Éric (1)
  • Fresse Benoît (1)
  • Féral Josette (1)
  • Gaudemar Martine de (1)
  • Girard Antoine (1)
  • Groote Philippe de (1)
  • Hascher Xavier (1)
  • Hirschowitz André (1)
  • Houzet Dominique (1)
  • Hyvernat Pierre (1)
  • Imbach Ruedi (1)
  • James Guillaume (1)
  • Laurent Olivier (1)
  • Mancini Stéphane (1)
  • Marquet Jean-François (1)
  • Matheron Alexandre (1)
  • Monniaux David (1)
  • Mounet Jean-Pierre (1)
  • Naugrette Jean-Pierre (1)
  • Nour Karim (1)
  • Petlevski Sibila (1)
  • Prouté Alain (1)
  • Périn Michaël (1)
  • Raffalli Christophe (1)
  • Südholt Mario (1)
  • Tanter Éric (1)
  • Taranu Cornel (1)
  • Vespa Christine (1)
  • Virelizier Alexis (1)
  • Wolff Burkhart (1)
  • Yakobowski Boris (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (11)
  • Mathématiques (6)
  • Philosophie, psychologie (4)
  • Médecine et santé (1)
  • Sciences de l'ingénieur (1)
  • Architecture (1)
  • Musique (1)
  • Arts du spectacle, loisirs (1)
  • Littératures anglaise et anglo-saxonne (1)

Domaines :

Fullscreen

26 thèses pour Monads

...work related to functional aspectlanguages as well as the relation between aspects and monads. Then...

Accéder en ligne

...gives us and thenwewrite abstract polymor-phic terms which can be interpreted in different monads...

Accéder en ligne

....Keywords: System-Level Design, Design Space Exploration, Models of Computation, Func-tional Programming, Monads...

Accéder en ligne
Mathématiques

Soutenue en 2010
thèse soutenue
Mathématiques pures

Soutenue le 13-05-2016
thèse soutenue
Mathématiques et informatique

Soutenue le 09-12-2015
thèse soutenue

....1.2 Effects as monadsThe best known algebraic approach to formalize computational effects was initiated by...

Accéder en ligne

....[Wad92] Philip Wadler. Comprehending monads. In Proceedings of the1990 ACM Conference on LISP and...

Accéder en ligne
Philosophie

Soutenue en 2006
thèse soutenue

Résultats 1 à 10