| ... | ... | @@ -51,6 +51,7 @@ don't take up all of our time. We will tackle them later. |
|
|
|
- Manuel M T Chakravarty \<chak at cse.unsw.edu.au\>
|
|
|
|
- Ravi Nanavati \<ravi at bluespec.com\>
|
|
|
|
- Andres Loeh \<loeh at iai.uni-bonn.de\>
|
|
|
|
- Ross Paterson \<ross at soi.city.ac.uk\>
|
|
|
|
- Simon Peyton-Jones \<simonpj at microsoft.com\>
|
|
|
|
|
|
|
|
## 3rd, unnamed subgroup
|
| ... | ... | @@ -59,7 +60,6 @@ don't take up all of our time. We will tackle them later. |
|
|
|
|
|
|
|
- Bastiaan Heeren \<bastiaan at cs.uu.nl\>
|
|
|
|
- John Meacham \<john at repetae.net\>
|
|
|
|
- Ross Paterson \<ross at soi.city.ac.uk\>
|
|
|
|
- Don Stewart \<dons at cse.unsw.edu.au\>
|
|
|
|
- Audrey Tang \<autrijus at gmail.com\>
|
|
|
|
- Simom J. Thompson \<S.J.Thompson at kent.ac.uk\>
|
| ... | ... | |
