Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Alejandro Aguirre

Series featuring Alejandro Aguirre

  • International Conference on Functional Programming 2017
# Episode Title Description People Date
1 Creative Commons A Relational Logic for Higher-Order Programs Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. Alejandro Aguirre 18 Dec 2017