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 × Japan
1 × Romania
1 × Spain
Collaborated with:
T.Sheard E.Pasalic
Talks about:
type (3) program (2) analysi (2) time (2) meta (2) bind (2) constraint (1) represent (1) languag (1) search (1)

Person: Nathan Linger

DBLP DBLP: Linger:Nathan

Contributed to:

CEFP 20072007
GPCE 20042004
TACAS 20042004
ASIA-PEPM 20022002

Wrote 4 papers:

CEFP-2007-SheardL #programming
Programming in Ωmega (TS, NL), pp. 158–227.
GPCE-2004-PasalicL #metaprogramming
Meta-programming with Typed Object-Language Representations (EP, NL), pp. 136–167.
TACAS-2004-LingerS #analysis #constraints #ml #theorem proving #type inference
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving (NL, TS), pp. 266–279.
ASIA-PEPM-2002-SheardL #analysis #search-based #using
Search-based binding time analysis using type-directed pruning (TS, NL), pp. 20–31.

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.