Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « types »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
typeface < types < typesetting  Facettes :

List of bibliographic references indexed by types

Number of relevant bibliographic references: 74.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000487 (2015-06-22) Xavier Goaoc [France] ; Alfredo Hubard [France] ; Rémi De Joannis De Verclos [France] ; Jean-Sébastien Sereni [France] ; Jan Volec [Suisse]Limits of order types
000551 (2015-05-05) Mehdi Ahmed-Nacer [France]Evaluation methodology for replicated data types
000C99 (2014-01-22) Giuseppe Castagna [France] ; Kim Nguyen [France] ; Zhiwu Xu [France] ; Hyeonseung Im [France] ; Sergueï Lenglet [France] ; Luca Padovani [Italie]Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation
001043 (2013-08-29) Emmanuel Hainry [France] ; Romain Péchoux [France]Types for controlling heap and stack in Java
001E32 (2012) Brandon Itzkovitz [Canada] ; Sarn Jiralerspong [Canada] ; Graeme Nimmo [Canada] ; Melissa Loscalzo [États-Unis] ; Dafne D. G. Horovitz [Brésil] ; Ann Snowden [États-Unis] ; Ann Moser [États-Unis] ; Steve Steinberg [États-Unis] ; Nancy Braverman [Canada]Functional characterization of novel mutations in GNPAT and AGPS, causing rhizomelic chondrodysplasia punctata (RCDP) types 2 and 3
002331 (2011-05-30) Cody Roux [France]Refinement types as higher order dependency pairs
002481 (2011-01-05) Cody Roux [France]Refinement Types as Higher Order Dependency Pairs
002678 (2011) Silvia Ghilezan [Serbie] ; Jelena Iveti [Serbie] ; Pierre Lescanne [France] ; Silvia Likavec [Italie]Intersection Types for the Resource Control Lambda Calculi
002729 (2011) Marc Shapiro [France] ; Nuno Preguiça [France, Portugal] ; Carlos Baquero [Portugal] ; Marek Zawirski [France]Conflict-Free Replicated Data Types
003413 (2009-09-07) Frédéric Blanqui [République populaire de Chine] ; Cody Roux [France]On the relation between sized-types based termination and semantic labelling
003920 (2009) Frédéric Blanqui [République populaire de Chine, France] ; Cody Roux [France]On the Relation between Sized-Types Based Termination and Semantic Labelling
003A30 (2009) Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni]A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types
003D91 (2008-10-21) Sébastien Hinderer [France]Automating Semantic Construction in Simply Typed Lambda Calculus with Several Atomic Types
004219 (2008) Axel Hutt [France] ; Lutz Schimansky-GeierAnesthetic-induced transitions by propofol modeled by nonlocal neural populations involving two neuron types.
004573 (2008) Daniel De Carvalho [France]Execution Time of $\lambda$-Terms via Denotational Semantics and Intersection Types
004617 (2008) Lisa Allali [France] ; Paul Brauner [France]A Semantic Normalization Proof for Inductive Types
004C11 (2007) Frédéric Blanqui [France] ; Thérèse Hardin [France] ; Pierre Weis [France]On the Implementation of Construction Functions for Non-free Concrete Data Types
004C29 (2007) Andreas Abel [Allemagne]Mixed Inductive/Coinductive Types and Strong Normalization
005A80 (2005-03-04) Horatiu Cirstea [France] ; Emmanuel Coquery [France] ; Wlodzimierz Drabent ; Francois Fages [France] ; Claude Kirchner [France] ; Luigi Liquori [France] ; Benjamin Wack [France] ; Artur Wilk [Suède]Types for REWERSE reasoning and query languages I3-D4
005C37 (2005) Frédéric Blanqui [France]Inductive types in the Calculus of Algebraic Constructions
005D30 (2005) Horatiu Cirstea ; Emmanuel Coquery ; Wlodzimierz Drabent ; François Fages ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack ; Artur WilkTypes for REWERSE reasoning and query languages

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "types" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "types" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    types
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022