| 1 |
Le discours rapporté dans un corpus d’anglais oral : formes et frontières
|
|
|
|
In: ISSN: 1638-1718 ; EISSN: 1638-1718 ; E-rea - Revue électronique d’études sur le monde anglophone ; https://halshs.archives-ouvertes.fr/halshs-02473053 ; E-rea - Revue électronique d’études sur le monde anglophone, Laboratoire d’Études et de Recherche sur le Monde Anglophone, 2019, De la recherche fondamentale à la transmission de la recherche. Le cas du discours rapporté, 17.1, ⟨10.4000/erea.8858⟩ ; https://journals.openedition.org/erea/8858 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Le nu, une invention des théoriciens de l'art humanistes ?
|
|
|
|
In: ISSN: 1724-6164 ; EISSN: 1824-1948 ; Studi Rinascimentali : rivista internazionale di letteratura italiana ; https://hal.sorbonne-universite.fr/hal-03261899 ; Studi Rinascimentali : rivista internazionale di letteratura italiana, Fabrizio Serra editore, 2019, 17, p. 11-25 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
La Traduction intersémiotique. Un retour aux sources
|
|
|
|
In: Former des traducteurs et des interprètes: des prérequis au marché du travail ; https://halshs.archives-ouvertes.fr/halshs-02491302 ; Former des traducteurs et des interprètes: des prérequis au marché du travail, Feb 2019, Paris, France (2019)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Adam Thirlwell’s art of the novel : towards an aesthetics of flippancy? ; L'art du roman d'Adam Thirlwell : vers une esthétique de la désinvolture ?
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03429866 ; Linguistique. Normandie Université, 2019. Français. ⟨NNT : 2019NORMR093⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Discours et système : théorie systémique du discours et analyse des représentations
|
|
|
|
In: https://hal.univ-rennes2.fr/hal-02103079 ; Peter Lang, A paraître (2019)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
The concept of Failing State in international relations : a politic study ; Le concept d'Etats défaillants dans les relations internationales : une étude politique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03460665 ; Science politique. Université Paris-Est, 2019. Français. ⟨NNT : 2019PESC2007⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
La sémantique : une sémiotique pour les sciences de la culture
|
|
|
|
In: La sémiotique et son autre ; https://hal.univ-reims.fr/hal-02561254 ; Amir Biglari; Nathalie Roelens. La sémiotique et son autre, Éditions Kimé, pp.193-217, 2019, Sémiotique, 978-2-84174-939-3 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
De l'interprétation à la traduction automatique : le poste de travail du traducteur vu par la Théorie interprétative
|
|
|
|
In: ISSN: 2555-2376 ; Des mots aux actes ; https://hal.univ-grenoble-alpes.fr/hal-01966168 ; Des mots aux actes, Société Française de Traductologie et Société d’Études des Pratiques et Théories en Traduction 2019, ⟨10.15122/isbn.978-2-406-09779-2.p.0079⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Fifteen Case Studies on Types of Linguistic Modalities. Foreword ; Quinze études de cas sur les modalités linguistiques. Avant-propos
|
|
|
|
In: Quinze études de cas sur les modalités linguistiques/Fifteen Case Studies on Types of Linguistic Modalities ; https://hal-normandie-univ.archives-ouvertes.fr/hal-02458371 ; Catherine Filippi-Deswelle. Quinze études de cas sur les modalités linguistiques/Fifteen Case Studies on Types of Linguistic Modalities, Publications Électroniques de l’ERIAC, pp.7-40, 2019, Epilogos 6, 978-2-919501-07-6 ; http://eriac.univ-rouen.fr/avant-propos-5/ (2019)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Des miroirs et des alouettes : Roman
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02554289 ; 2019 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
L'oncle de Vanessa : Roman
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02554290 ; 2019 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
La lune, l'étoile et le flocon : Roman
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-02554292 ; 2019 (2019)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
L’interculturalité : de quoi parlent les chercheurs dans les colloques ? Approche comparative de trois colloques (Canada/Halifax, Espagne/Soria, France/Le Mans)
|
|
|
|
In: La société inclusive à l’épreuve de l’interculturel : questions vives, terrains et pratiques ; https://hal.univ-lorraine.fr/hal-02483571 ; La société inclusive à l’épreuve de l’interculturel : questions vives, terrains et pratiques, Nov 2019, Université Paris Est Créteil, France (2019)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
On the expressive power of indexed applicative and monadic structures ; Sur le pouvoir expressif des structures applicatives et monadiques indexées
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02735749 ; Analyse numérique [cs.NA]. Université Paul Sabatier - Toulouse III, 2019. Français. ⟨NNT : 2019TOU30118⟩ (2019)
|
|
Abstract:
It is well-known that very simple theoretic constructs such as Either (type-theoretic equivalent of the logical "or" operator), State (composable state transformers), Applicative (generalized function application), and Monad (generalized sequential program composition) structures (as they are named in Haskell) cover a huge chunk of what is usually needed to elegantly express most computational idioms used in conventional programs. However, it is conventionally argued that there are several classes of commonly used idioms that do not fit well within those structures, the most notable examples being transformations between trees (data types, which are usually argued to require ether generalized pattern matching or heavy metaprogramming infrastructure) and exception handling (which are usually argued to require special language and run-time support). This work aims to show that many of those idioms can, in fact, be expressed by reusing those well-known structures with minor (if any) modifications. In other words, the purpose of this work is to apply the KISS (Keep It Stupid Simple) and/or Occam's razor principles to algebraic structures used to solve common programming problems. Technically speaking, this work aims to show that natural generalizations of Applicative and Monad type classes of Haskell combined with the ability to make Cartesian products of them produce a very simple common framework for expressing many practically useful things, some of the instances of which are very convenient novel ways to express common programming ideas, while others are usually classified as effect systems. On that latter point, if one is to generalize the presented instances into an approach to design of effect systems in general, then the overall structure of such an approach can be thought of as being an almost syntactic framework which allows different effect systems adhering to the general structure of the "marriage" framework to be expressed on top of. (Though, this work does not go into too much into the latter, since this work is mainly motivated by examples that can be immediately applied to Haskell practice.) Note, however, that, after the fact, these technical observation are completely unsurprising: Applicative and Monad are generalizations of functional and linear program compositions respectively, so, naturally, Cartesian products of these two structures ought to cover a lot of what programs usually do. ; Il est bien connu que des constructions théoriques très simples telles que les structures Either (équivalent type théorique de l'opérateur logique "ou"), State (représentant des transformateurs d'état composables), Applicative (application des fonctions généralisée) et Monad (composition de programmes séquentielles généralisée), nommés structures en Haskell, couvrent une grande partie de ce qui est habituellement nécessaire pour exprimer avec élégance la plupart des idiomes informatiques utilisés dans les programmes classiques. Cependant, il est usuellement admis qu'il existe plusieurs classes d'idiomes couramment utilisés qui ne s'intègrent pas bien à ces structures, les exemples les plus remarquables étant les transformations entre arbres (types de données, dont l'utilisation doit s'appuyer soit sur les motifs généralisés soit sur une infrastructure de méta programmation lourde) et traitement des exceptions (qui sont d'habitude supposés nécessiter un langage spécial et une prise en charge de l'exécution). Ce travail a pour but de montrer que beaucoup de ces idiomes peuvent, en fait, être exprimés en réutilisant ces structures bien connues avec des modifications mineures (le cas échéant). En d'autres termes, le but de ce travail est d'appliquer les principes du rasoir KISS (Keep It Stupid Simple) et/ou d'Occam aux structures algébriques utilisées pour résoudre des problèmes de programmation courants. Techniquement parlant, ce travail a pour but de montrer que les généralisations naturelles de classes de types Applicative et Monad de Haskell, associées à la possibilité d'en faire des produits cartésiens, en produisent un cadre commun très simple pour exprimer de nombreuses choses pratiques, dont certaines sont des nouvelles méthodes très commodes pour exprimer des idées de programmation communes, tandis que les autres peuvent être vues comme systèmes d'effets. Sur ce dernier point, si l'on veut généraliser des exemples présentés dans une approche de la conception de systèmes d'effets en général, on peut alors considérer la structure globale de cette approche comme un cadre quasi syntaxique qui permet d'ériger une structure générale du cadre "mariage" au dessus de différents systèmes d'effets adhérant aux principes de base. (Bien que ce travail ne soit pas trop approfondi dans la dernière, car il est principalement motivé par des exemples qui peuvent être immédiatement appliqués à la pratique de Haskell.) Il convient toutefois de noter qu'en fait, ces observations techniques n'ont rien d'étonnant: Applicative et Monad sont respectivement des généralisations de composition fonctionnelle et linéaire des programmes; ainsi, naturellement, les produits cartésiens de ces deux structures doivent couvrir en grande partie ce que les programmes font habituellement.
|
|
Keyword:
[INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]; Algebraic data types; Applicative functors; Category theory; Combinateurs d'analyseurs syntaxiques; Foncteurs applicatifs; Indexed monads; Logic; Logique; Métaprogrammation; Metaprogramming; Monades; Monades indexées; Parser combinators; Processeur basé sur la pile; Stack machines; Théorie des catégories; Type algébrique de données
|
|
URL: https://tel.archives-ouvertes.fr/tel-02735749
https://tel.archives-ouvertes.fr/tel-02735749/document
https://tel.archives-ouvertes.fr/tel-02735749/file/2019TOU30118B.pdf
|
|
BASE
|
|
Hide details
|
|
|
| 15 |
Signifiant, signifié, saillance(s) : le signe v(éc)u comme action ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Between Meaning and Essence - Explaining Necessary Truth ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Épilogue ... : Critiques du modernisme en traductologie ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Non ignarus docendi. Impulse zur kohärenten Gestaltung von Fachlichkeit und von Mehrsprachigkeitsdidaktik in der Lateinlehrerbildung
|
|
|
|
In: Bad Heilbrunn : Verlag Julius Klinkhardt 2019, 254 S. (2019)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
La Traduction intersémiotique. Un retour aux sources
|
|
|
|
In: Former des traducteurs et des interprètes: des prérequis au marché du travail ; https://halshs.archives-ouvertes.fr/halshs-02491302 ; Former des traducteurs et des interprètes: des prérequis au marché du travail, Feb 2019, Paris, France (2019)
|
|
BASE
|
|
Show details
|
|
|
|
|
