BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: A=iuml=t-Kaci:Hassan

Contributed to:

ICLP 19941994
POPL 19941994
ILPS 19931993
ALP 19921992
ICLP 19911991
PLILP 19911991
SIGIR 19881988
SLP 19871987
POPL 19861986
RTA 19851985

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.