Лев Валкин — Программируем функционально
Heather Miller
Scala for Machine Learning
Monad as things to do
Start You a Haskell (for Great Good)!
Learn You a Haskel
idris-tutorial.pdf
The Haskell Road to Logic Maths and Programming
Type classes 101 - classification beyond inheritance
MULTIPLEXING AND DEMULTIPLEXING HEVC VIDEO BITSTREAM WITH AAC AUDIO BITSTREAM,ACHIEVING LIP SYNCHRONIZATION BY MRUDULA WARRIER UNDER THE GUIDANCE OF DR.
Using Coq to generate and reason about x86 systems code Andrew Kennedy & Nick Benton (MSR Cambridge) Jonas Jensen (ITU Copenhagen)
CS2110: SW Development Methods Design of methods (functions) Class design – CRC cards – UML class and sequence diagrams Software Design.