Composition of Programming Languages (informal talk)Navid RouxLast updated on Nov 21, 2020 Project Slidesuniversity research formal-systems research-in-software-engineeringNavid RouxComputer Science M. Sc. StudentAcademically interested in formal systems for knowledge representation; recreationally in love with sports.Please enable JavaScript to view the comments powered by Disqus.comments powered by DisqusRelatedDiagram OperatorsFrameITFiddling with JetBrains MPSPresentation of "Diagram Operators in a Logical Framework" at LFMTP 2020Diagram Operators in a Logical Framework