![]() | ![]() |
| 2011 | ||
|---|---|---|
| 4 | Thomas Given-Wilson, Barry Jay: A combinatory account of internal structure. J. Symb. Log. 76(3): 807-826 (2011) | |
| 2010 | ||
| 3 | Thomas Given-Wilson, Daniele Gorla, Barry Jay: Concurrent Pattern Calculus. IFIP TCS 2010: 244-258 | |
| 2009 | ||
| 2 | Barry Jay: Pattern Calculus - Computing with Functions and Structures. Springer 2009: I-XVII, 1-213 | |
| 2008 | ||
| 1 | Barry Jay, Simon L. Peyton Jones: Scrap Your Type Applications. MPC 2008: 2-27 | |
| 1 | Thomas Given-Wilson | [3] [4] |
| 2 | Daniele Gorla | [3] |
| 3 | Simon L. Peyton Jones | [1] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page