Titre (en)
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Titre (en) » - entrée « typed »
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.
type < typed < types  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 15. **** probable Xml problem ****
Ident.Authors (with country if any)Title
000316 (2005) Mark Van Den Brand ; Pierre-Etienne Moreau ; Jurgen VinjuA generator of efficient strongly typed abstract syntax trees in Java
000606 (2004) Frederic BlanquiA type-based termination criterion for dependently-typed higher-order rewrite systems
000C56 (2003) René David ; Bruno GuillaumeStrong Normalization of the Typed lambda ws-calculus
001928 (2000) Horatiu Cirstea ; Claude KirchnerThe simply typed rewriting calculus
001E28 (1999) Catherine PiliereA confluence Result for a Typed lambda-Calculus of Exception Handling with Fixed-point
002243 (1998) Catherine PiliereA CPS-semantics for a typed lambda-calculus of exception handling with fixed-point
002277 (1998) Claus Hintermeier ; Claude Kirchner ; Hélène KirchnerDynamically-Typed Computations for Order-Sorted Equational Presentations
002646 (1997) Philippe De Groote ; Roger HindleyThird International Conference on Typed Lambda Calculi and Applications - TLCA'97
002884 (1996) Denis BechetRemoving Value Encoding using Alternative Values in Partial Evaluation of Strongly-Typed Languages
002950 (1996) D. BriaudHigher Order Unification as a Typed Narrowing
002F77 (1994) P. De GrooteStrong Normalization in a Non-Deterministic Typed Lambda-Calculus
003006 (1994) C. Hintermeier ; C. Kirchner ; H. KirchnerDynamically-Typed Computations for Order-Sorted Equational Presentations - Extended Abstract
003311