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 × Ireland
1 × Japan
1 × The Netherlands
1 × United Kingdom
3 × USA
Collaborated with:
U.A.Acar Y.Chen Chris Martens D.V.Horn C.Omar Ian Voysey J.Dunfield J.S.Foster B.E.Chang Kevin Liao Andrew Miller 0001 Y.P.Khoo M.Hicks G.Neis R.Chugh M.Hilton J.Aldrich K.Headley N.Labich M.W.Hicks
Talks about:
comput (6) adjust (4) self (4) increment (2) function (2) calculus (2) program (2) languag (2) compos (2) type (2)

Person: Matthew A. Hammer

DBLP DBLP: Hammer:Matthew_A=

Contributed to:

OOPSLA 20152015
PLDI 20142014
ICFP 20112011
OOPSLA 20112011
PLDI 20092009
ISMM 20082008
GPCE 20162016
FDG 20172017
POPL 20172017
PLDI 20192019
POPL 20192019

Wrote 11 papers:

OOPSLA-2015-HammerDHLFHH #incremental
Incremental computation with names (MAH, JD, KH, NL, JSF, MWH, DVH), pp. 748–766.
PLDI-2014-HammerKHF #adaptation #composition #incremental #named
Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.
ICFP-2011-ChenDHA #functional #self #source code
Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
OOPSLA-2011-HammerNCA #self #stack
Self-adjusting stack machines (MAH, GN, YC, UAA), pp. 753–772.
PLDI-2009-HammerAC #named #self
CEAL: a C-based language for self-adjusting computation (MAH, UAA, YC), pp. 25–37.
ISMM-2008-HammerA #memory management #self
Memory management for self-adjusting computation (MAH, UAA), pp. 51–60.
GPCE-2016-HammerCH #online
A vision for online verification-validation (MAH, BYEC, DVH), pp. 190–201.
FDG-2017-MartensH #game studies #interface #semantics #towards
Languages of play: towards semantic foundations for game interfaces (CM, MAH), p. 10.
POPL-2017-OmarVHAH #bidirectional #calculus #editing #named
Hazelnut: a bidirectionally typed structure editor calculus (CO, IV, MH, JA, MAH), pp. 86–99.
PLDI-2019-LiaoHM #calculus #composition #encryption #named
ILC: a calculus for composable, computational cryptography (KL, MAH, AM0), pp. 640–654.
POPL-2019-OmarVCH #functional #programming
Live functional programming with typed holes (CO, IV, RC, MAH), p. 32.

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.