McBride, Conor
| Biografické údaje: | Odborník v oblasti programování. |
|---|---|
| Zdroj: |
Altenkirch, T. - McBride, C.: Types for proofs and programs, 2007 LC (Names) |
| Další informace: |
     |
| Biografické údaje: | Odborník v oblasti programování. |
|---|---|
| Zdroj: |
Altenkirch, T. - McBride, C.: Types for proofs and programs, 2007 LC (Names) |
| Další informace: |
|