BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
2 × Italy
Collaborated with:
M.Hanus S.Antoy B.Massey
Talks about:
program (3) control (2) search (2) logic (2) nondetermin (1) implement (1) strategi (1) function (1) funtion (1) narrow (1)

Person: Frank Steiner

DBLP DBLP: Steiner:Frank

Contributed to:

PPDP 20012001
PPDP 20002000
ALP/PLILP 19981998
JICSLP 19981998

Wrote 4 papers:

PPDP-2001-AntoyHMS #implementation
An Implementation of Narrowing Strategies (SA, MH, BM, FS), pp. 207–217.
PPDP-2000-HanusS #functional #logic programming #nondeterminism #source code #type system
Type-based nondeterminism checking in functional logic programs (MH, FS), pp. 202–213.
ALP-PLILP-1998-HanusS #declarative #source code
Controlling Search in Declarative Programs (MH, FS), pp. 374–390.
JICSLP-1998-HanusS #logic programming #source code
Controlling Search in Funtional Logic Programs (MH, FS), pp. 347–348.
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.