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 × Estonia
1 × Italy
2 × USA
Collaborated with:
M.Felleisen Alex Knauth B.Greenman E.Torlak E.Barzilay J.Clements Michael Ballantyne Milo Turner W.J.Bowman
Talks about:
type (3) lazi (3) system (2) symbol (2) macro (2) need (2) calculus (1) sequenc (1) revisit (1) lenient (1)

Person: Stephen Chang

DBLP DBLP: Chang:Stephen

Contributed to:

POPL 20142014
ESOP 20132013
ESOP 20122012
IFL 20112011
POPL 20172017
POPL 20182018
POPL 20202020

Wrote 7 papers:

POPL-2014-ChangF #lazy evaluation #profiling
Profiling for laziness (SC, MF), pp. 349–360.
ESOP-2013-Chang #lazy evaluation
Laziness by Need (SC), pp. 81–100.
ESOP-2012-ChangF #call-by #revisited #λ-calculus
The Call-by-Need λ Calculus, Revisited (SC, MF), pp. 128–147.
IFL-2011-ChangBCF #lazy evaluation #sequence #stack
From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.
POPL-2017-ChangKG #metaprogramming #type system
Type systems as macros (SC, AK, BG), pp. 694–705.
POPL-2018-ChangKT #execution #symbolic computation
Symbolic types for lenient symbolic execution (SC, AK, ET), p. 29.
POPL-2020-ChangBTB #dependent type #metaprogramming #type system
Dependent type systems as macros (SC, MB, MT, WJB), p. 29.

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.