Travelled to:
1 × France
Collaborated with:
∅
Talks about:
type
(2)
algorithm
(1)
inherit
(1)
theori
(1)
Person:
Amokrane Saïbi
DBLP: Sa=iuml=bi:Amokrane
Contributed to:
1997
Wrote 1 papers:
POPL-1997-Saibi
#algorithm
#inheritance
#type system
Typing Algorithm in Type Theory with Inheritance (
AS
), pp. 292–301.
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
.