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: Matthews:Jacob
Contributed to:
2008
2007
2004Wrote 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.