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 × China
1 × France
1 × United Kingdom
Collaborated with:
P.Thiemann Peter Thiemann 0001 K.Asai Y.Zhang F.Aslam G.Baig M.A.Qureshi Z.A.Uzmi C.Schindelhauer E.Haußmann
Talks about:
type (4) gradual (2) theoret (1) rethink (1) partial (1) languag (1) system (1) specif (1) orient (1) object (1)

Person: Luminous Fennell

DBLP DBLP: Fennell:Luminous

Contributed to:

ESOP 20142014
PPDP 20142014
LCTES 20122012
ECOOP 20162016

Wrote 4 papers:

ESOP-2014-ThiemannF #type system
Gradual Typing for Annotated Type Systems (PT, LF), pp. 47–66.
PPDP-2014-AsaiFTZ #partial evaluation #specification
A Type Theoretic Specification of Partial Evaluation (KA, LF, PT, YZ), pp. 57–68.
LCTES-2012-AslamBQUFTSH #design #embedded #java #stack
Rethinking Java call stack design for tiny embedded devices (FA, GB, MAQ, ZAU, LF, PT, CS, EH), pp. 1–10.
ECOOP-2016-FennellT #named #object-oriented #security
LJGS: Gradual Security Types for Object-Oriented Languages (LF, PT0), p. 26.

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.