BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Hungary
Collaborated with:
R.B.Findler A.Ahmed M.Flatt M.Felleisen
Talks about:
low (2) polymorph (1) parametr (1) theorem (1) program (1) languag (1) environ (1) develop (1) context (1) visual (1)

Person: Jacob Matthews

DBLP DBLP: Matthews:Jacob

Contributed to:

ESOP 20082008
POPL 20072007
RTA 20042004

Wrote 3 papers:

ESOP-2008-MatthewsA #exclamation #morphism #parametricity #polymorphism #runtime #theorem
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (JM, AA), pp. 16–31.
POPL-2007-MatthewsF #multi #semantics #source code
Operational semantics for multi-language programs (JM, RBF), pp. 3–10.
RTA-2004-MatthewsFFF #term rewriting #visual notation
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems (JM, RBF, MF, MF), pp. 301–311.

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.