1 |
Creative Commons |
A Specification for Dependent Types in Haskell |
Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. |
Antoine Vizard |
17 Jan 2018 |
2 |
Creative Commons |
SpaceSearch: A Library for Building and Verifying Solver-Aided Tools |
Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. |
Konstantin Weitz |
15 Jan 2018 |
3 |
Creative Commons |
Cancer and regenerative medicine |
Professor Xin Lu talks about the links between cancer and regenerative medicine. |
Xin Lu |
22 Mar 2013 |
4 |
Creative Commons |
Cancer and regenerative medicine |
Professor Xin Lu talks about the links between cancer and regenerative medicine. |
Xin Lu |
22 Mar 2013 |