Bunched Implications - Relationship Between Programming Languages and Compilers - PN Hilfinger - Lecture 18 of 33 - Video-lecture

Video-lecture, Compiler Construction

Description: The lecture is about Bunched Implications, Materials connected to Relationship Between Programming Languages and Compilers. By PN Hilfinger, Series of lectures part 18 of 33.