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 × United Kingdom
Collaborated with:
M.Felleisen Zeina Migeed D.Feltey F.Muehlboeck R.Tate C.Dimoulas S.Chang Alex Knauth C.Scholliers R.B.Findler V.St-Amour A.Takikawa Max S. New J.Vitek
Talks about:
type (5) gradual (3) sound (2) polymorph (1) patholog (1) contract (1) monitor (1) complet (1) collaps (1) system (1)

Person: Ben Greenman

DBLP DBLP: Greenman:Ben

Contributed to:

PLDI 20142014
OOPSLA 20182018
OOPSLA 20192019
POPL 20162016
POPL 20172017
PEPM 20182018

Wrote 6 papers:

PLDI-2014-GreenmanMT #bound #morphism #polymorphism
Getting F-bounded polymorphism into shape (BG, FM, RT), p. 12.
OOPSLA-2018-FelteyGSFS #contract #type system
Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.
OOPSLA-2019-GreenmanFD #monitoring
Complete monitors for gradual types (BG, MF, CD), p. 29.
POPL-2016-TakikawaFGNVF #question #type system
Is sound gradual typing dead? (AT, DF, BG, MSN, JV, MF), pp. 456–468.
POPL-2017-ChangKG #metaprogramming #type system
Type systems as macros (SC, AK, BG), pp. 694–705.
PEPM-2018-GreenmanM #cost analysis #on the
On the cost of type-tag soundness (BG, ZM), pp. 30–39.

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.