จำนวนงานวิจัยจำแนกรายปี
บุคคลที่เคยร่วมงานวิจัย
ความเชี่ยวชาญ
บุคคลที่เคยร่วมงานวิจัย
| # | นักวิจัย | ร่วมงาน |
|---|---|---|
| 1 | Wadler, Philip | 2 |
| 2 | Yallop, Jeremy | 2 |
| 3 | Ramalingam, G. | 1 |
| 4 | Gilmore, Stephen | 1 |
| 5 | Engineering and Physical Sciences Research Council (EPSRC) | 1 |
| 6 | Stark, Ian | 1 |
| 7 | Cooper, Ezra | 1 |
ปี
| # | พ.ศ. | จำนวน |
|---|---|---|
| 1 | 2553 | 1 |
| 2 | 2551 | 2 |
| 3 | 2548 | 1 |
ผลงานวิจัย
| # | หัวเรื่อง |
|---|---|
| ปี พ.ศ. 2553 | |
| 1 | The arrow calculus |
| ปี พ.ศ. 2551 | |
| 2 | The Essence of Form Abstraction |
| 3 | Idioms are oblivious, arrows are meticulous, monads are promiscuous |
| ปี พ.ศ. 2548 | |
| 4 | Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages |
