SPLV 2025 | SPLV - discu.eu

Reddit

Scottish Programming Languages and Verification Summer School 2025 https://spli.scot/splv/2025-edinburgh/ 0 comments 28/3/2025 haskell

Scottish Programming Languages and Verification Summer School 2025 https://spli.scot/splv/2025-edinburgh/ 0 comments 28/3/2025 coq
Scottish Programming Languages and Verification Summer School 2025 https://spli.scot/splv/2025-edinburgh/ 2 comments 25/3/2025 programminglanguages

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:spli.scot

Search title: SPLV 2025 | SPLV

See how to search.

Submit link to: