Travelled to:1 × Canada
1 × Germany
2 × Italy
3 × France
3 × USA
Collaborated with:∅ R.Nasr A.Podelski J.Garrigue M.Holsheimer R.A.d.By S.C.Goldstein J.Seo P.Lincoln
Talks about:logic (3) equat (3) type (3) function (2) calculus (2) inherit (2) object (2) life (2) experiment (1) polymorph (1)
Person: Hassan Aït-Kaci
DBLP: A=iuml=t-Kaci:Hassan
Contributed to:
1994
19941993
199219911991
198819871986
1985Wrote 11 papers:
- ICLP-1994-HolsheimerBA #database #interface
- A Database Interface for Complex Objects (MH, RAdB, HAK), pp. 437–455.
- POPL-1994-GarrigueA #polymorphism #λ-calculus
- The Typed Polymorphic Label-Selective λ-Calculus (JG, HAK), pp. 35–47.
- ILPS-1993-Ait-Kaci #equation #inheritance #logic #programming
- An introduction to LIFE: Programming with Logic, Inheritance, Functions, and Equations (HAK), pp. 52–68.
- ILPS-1993-Ait-KaciPG #order #unification
- Order-Sorted Feature Theory Unification (HAK, AP, SCG), pp. 506–524.
- ALP-1992-Ait-Kaci #calculus #object-oriented
- Outline of an Object-Oriented Calculus of Higher Type (HAK), pp. 1–2.
- ICLP-1991-Ait-Kaci #automaton
- Warren’s Abstract Machine (HAK), p. 939.
- PLILP-1991-Ait-KaciP #towards
- Towards a Meaning of LIFE (HAK, AP), pp. 255–274.
- SIGIR-1988-Ait-KaciNS #library #named
- BABEL: A Base for an Experimental Library (HAK, RN, JS), pp. 175–190.
- SLP-1987-Ait-KaciLN87 #equation #logic
- Le Fun: Logic, Equations and Functions (HAK, PL, RN), pp. 17–23.
- POPL-1986-Ait-KaciN #inheritance #logic
- Logic and Inheritance (HAK, RN), pp. 219–228.
- RTA-1985-Ait-Kaci #equation #graph grammar
- Solving Type Equations by Graph Rewriting (HAK), pp. 158–179.