Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (Crin)

Index « Auteurs » - entrée « Luigi Liquori »
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.
Ludmilla Mangelinck < Luigi Liquori < Luis Almeida  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000178 (2005) Horatiu Cirstea ; Emmanuel Coquery ; Wlodzimierz Drabent ; François Fages ; Claude Kirchner ; Luigi Liquori ; Benjamin Wack ; Artur WilkTypes for REWERSE reasoning and query languages
000530 (2005) Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin WackDecidable Type Inference for the Polymorphic Rewriting Calculus
000984 (2003) Gilles Barthe ; Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriPure Patterns Type Systems
000A04 (2003) Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin WackRewrite Strategies in the Rewriting Calculus
000F04 (2002) Horatiu Cirstea ; Claude Kirchner ; Luigi Liquori ; Benjamin WackThe rho cube : some results, some problems
000F79 (2002) Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriRewriting Calculus with(out) Types
001420 (2001) Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriThe Rho Cube
001764 (2001) Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriMatching Power
001779 (2000) Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriA Rho Cube
001782 (2000) Frederic Lang ; Pierre Lescanne [France] ; Luigi Liquori ; Dan Dougherty ; Rose KristofferA Generic Object-Calculus Based on Addressed Term Rewriting Systems
001B20 (2000) Dominique Colnet ; Luigi LiquoriMatch-O, a Statically Safe(?) Dialect of Eiffel
001B29 (2000) Michele Bugliesi ; Giorgio Delzanno ; Michele Martelli ; Luigi LiquoriObject Calculi in Linear Logic
001B78 (2000) Dominique Colnet ; Luigi LiquoriMatch-O, a Dialect of Eiffel with Match-Types
001C15 (2000) Horatiu Cirstea ; Claude Kirchner ; Luigi LiquoriMatching Power

List of associated KwdEn.i

Nombre de
documents		Descripteur
5rewriting
5rewriting calculus
4lambda calculus
3matching
3type systems
2eiffel
2object calculi
2type safety
1barendregt's cube
1constraints
1cova(contra)variance
1covavariance
1descriptive typing
1linear logic
1match-types
1matching.
1mytype
1mytype method specialization
1object oriented calculi
1object-calculi
1polymorphic typing
1prescriptive typing
1pure type systems
1rewrite calculus
1rho-calculus
1rule based language
1strategies
1type inference
1type system
1type theory
1uniqueness of typing

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Luigi Liquori" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Luigi Liquori" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Luigi Liquori
}}
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