จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Lindley, Sam | 3 |
| 2 | Yallop, Jeremy | 3 |
| 3 | Findler, Robert Bruce | 2 |
| 4 | Engineering and Physical Sciences Research Council (EPSRC) | 2 |
| 5 | Cooper, Ezra | 2 |
| 6 | Sannella, Don | 1 |
| 7 | Hutchins, DeLesley | 1 |
| 8 | He, Jiansen | 1 |
| 9 | Schrijvers, Tom | 1 |
| 10 | Yallop, J. | 1 |
| 11 | Matthews, Jacob | 1 |
| 12 | Stuckey, Peter | 1 |
| 13 | Ahmed, Amal | 1 |
| 14 | Siek, Jeremy | 1 |
| 15 | Castagna, Giuseppe | 1 |
| 16 | Ramalingam, G. | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2557 | 1 |
| 2 | 2553 | 2 |
| 3 | 2552 | 6 |
| 4 | 2551 | 2 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2557 | |
| 1 | Type-parameterized actors and their supervision |
| ปี พ.ศ. 2553 | |
| 2 | The arrow calculus |
| 3 | Abstraction for web programming |
| ปี พ.ศ. 2552 | |
| 4 | Monadic constraint programming |
| 5 | The RPC Calculus |
| 6 | Blame for all |
| 7 | Threesomes, With and Without Blame |
| 8 | Well-Typed Programs Can’t Be Blamed |
| 9 | Pure subtype systems: a type theory for extensible software |
| ปี พ.ศ. 2551 | |
| 10 | The Essence of Form Abstraction |
| 11 | Idioms are oblivious, arrows are meticulous, monads are promiscuous |
