Functional &mdash; Paul Sutton https://paper.wf/paulsutton/tag:Functional Paul Sutton - personal blog Thu, 07 May 2026 01:32:15 +0000 CyberSecurity part 24 https://paper.wf/paulsutton/cybersecurity-part-24 <![CDATA[CyberSecurity part 24 Functional Programming in Coq Staying on the theme of programming and cybersecurity, this course is about Functional Programming in Coq and was mentioned on the Libreplanet discuss mailing list. It may be useful generally as a way to learn skills that can be applied to other languages or just generally. Functional Programming in Coq #CyberSecurity,#Coding,#Functional,#Programming,#COQ]]> CyberSecurity part 24

Functional Programming in Coq

Staying on the theme of programming and cybersecurity, this course is about Functional Programming in Coq and was mentioned on the Libreplanet discuss mailing list. It may be useful generally as a way to learn skills that can be applied to other languages or just generally.

#CyberSecurity,#Coding,#Functional,#Programming,#COQ

]]> https://paper.wf/paulsutton/cybersecurity-part-24 Wed, 25 May 2022 06:30:00 +0000