mspstrath, 17 days ago to ProgrammingLanguages Call For Sponsorship: #SPLV 2024 We are organising the 2024 Scottish #ProgrammingLanguages and #Verification Summer School! Industry support is welcomed. Please see below for how your company can help us. https://scottish-pl-institute.github.io/splv/2024-strathclyde/call-for/sponsorship/ General registration will be opening soon!
Call For Sponsorship: #SPLV 2024
We are organising the 2024 Scottish #ProgrammingLanguages and #Verification Summer School!
Industry support is welcomed. Please see below for how your company can help us.
https://scottish-pl-institute.github.io/splv/2024-strathclyde/call-for/sponsorship/
General registration will be opening soon!
rml, 1 year ago to random A Technical History of #Compiler #IR(s): Michel Steuwer for #SPLV 2020 https://www.youtube.com/watch?v=MNHsabf9CLs
A Technical History of #Compiler #IR(s): Michel Steuwer for #SPLV 2020
https://www.youtube.com/watch?v=MNHsabf9CLs