Redefining U.S. borders : a reading of Sandra Cisneros’s Caramelo, Cristina Garcia’s The Agüero Sisters, and David Plante’s The Family and The Native

Cette thèse propose une redéfinition de la notion de frontière dans le contexte américain, avec pour point de départ les romans de trois voix littéraires issues de trois minorités ethniques : Sandra Cisneros (Caramelo), Cristina Garcia (The Agüero Sisters) et David Plante (The Family et The Native). Je conceptualise la frontière comme fluctuation entre mouvement et immobilité, entre porosité et imperméabilité. Dans le premier chapitre, je fournis des repères sur la théorie des frontières et j'analyse les avancées de ce champ d'étude, du concept de terre frontalière (“Borderland Theories”) jusqu'aux récits d'immigration. Je propose un cadre conceptuel que j'appelle « Écrire la frontière à partir de la perspective de la frontière », lequel permet une lecture neuve des récits de frontière, et une redéfinition de la notion elle-même. Prise comme perspective, la frontière est une dynamique vivante, ce qui la rend plurielle et impossible à fixer définitivement; aussi les récits de frontière présentent-ils une grande variété d’expériences, toutes liées à des moments et à des points de vue uniques. Dans le second chapitre, j’analyse la porosité des frontières dans le contexte géopolitique contemporain, en mettant en lumière comment la colonisation, la mondialisation économique et l’immigration sont autant de mécanismes de transgression des frontières qui suivent des orientations transnationales, dénationales et postnationales. Dans le troisième chapitre, j’étudie la résurgence des frontières dans la vie des immigrants qui habitent aux États-Unis. J’identifie l’insécurité capitaliste ainsi que la marchandisation de l’espace et de l’ethnicité comme étant à l'origine du renforcement des frontières délimitant les quartiers ethniques; génératrices de stéréotypes négatifs, ces divisions physiques deviennent une technologie d’exclusion et d’injustice sociale. Le dernier chapitre présente une lecture des aspects esthétiques de la frontière, voyant comment ils peuvent contribuer à écrire la frontière à partir de la perspective de la frontière. Dans les textes à l'étude, j'examine de près la problématisation du concept de représentation, la multiplicité des points de vue narratifs, l’inaccessibilité du réel, et la partialité de la médiation. Mots clés : Théories et écrits sur les frontières, minorités ethniques aux États-Unis, multiculturalisme, culture, immigration, mondialisation, espace, place, territoire, état-nation, nationalisme, histoire, langue et langage, représentation, communauté, justice sociale, citoyenneté

A Compiler for the dependently typed language Beluga

Les structures avec des lieurs sont très communes en informatique. Les langages de programmation et les systèmes logiques sont des exemples de structures avec des lieurs. La manipulation de lieurs est délicate, de sorte que l’écriture de programmes qui ma- nipulent ces structures tirerait profit d’un soutien spécifique pour les lieurs. L’environ- nement de programmation Beluga est un exemple d’un tel système. Nous développons et présentons ici un compilateur pour ce système. Parmi les programmes pour lesquels Beluga est spécialement bien adapté, plusieurs peuvent bénéficier d’un compilateur. Par exemple, les programmes pour valider les types (les "type-checkers"), les compilateurs et les interpréteurs tirent profit du soutien spécifique des lieurs et des types dépendants présents dans le langage. Ils nécessitent tous également une exécution efficace, que l’on propose d’obtenir par le biais d’un compilateur. Le but de ce travail est de présenter un nouveau compilateur pour Beluga, qui emploie une représentation interne polyvalente et permet de partager du code entre plusieurs back-ends. Une contribution notable est la compilation du filtrage de Beluga, qui est particulièrement puissante dans ce langage.