Teori Tipe dan Isomorfisme Curry-Howard: Harmoni Mendalam antara Proposisi=Tipe dan Bukti=Program
Tags
5 halaman
Functional-Programming
Filosofi Haskell dan Bahasa Pemrograman Fungsional Murni: Dunia Monad dan Kedalamannya
Konsep Dasar dan Keuntungan Pemrograman Fungsional (Fungsi Murni, Imutabilitas, dan Konsep Monad)
Mempertimbangkan Kembali Design Pattern: Apakah GoF Kuno? Praktik Terbaik Modern
Kalkulus Lambda (Lambda Calculus) dan Asal-usul Pemrograman Fungsional: Dari Teori Alonzo Church ke Lisp dan Haskell
