Skip to main content
Side panel
You are currently using guest access (
Log in
)
Pemrograman Fungsional
Home
Courses
Fakultas Ilmu Komputer
CSCE604123 - MOOC72021
Lambda Calculus dan Type System
Rangkuman (Lecture Notes) Lambda Calculus
Rangkuman (Lecture Notes) Lambda Calculus
Click
LectureNotes-SimplyTypedLambdaCalculus.pdf
link to view the file.
◄ Slide Pekan 06: Simply Typed Lambda Calculus
Jump to...
Jump to...
Forum Umum, pengumuman dan tanya jawab umum
Evaluasi Hasil Pemelajaran
Haskell Fan Site (Rekomenasi: representasi kriptografi dalam haskell, alternatif topik untuk tugas kelompok)
Learn You Haskell for Great Good (Online Free Book)
Write you a Haskell (Advanced Topic with implementation tutorial and source code)
BRP Functional Programming
Video Kuliah 01: Sekilas Pemrograman Fungsional
Pekan 01: Weekly asynchronous discussion and reflection
Pengenalan Haskell (Mengacu pada Haskell School of Expression)
Coba Run Haskell tanpa installasi (Online REPL)
Rekaman Video Sinkronos 01 (14 Sept 2020): Sekilas Functional Programming
Rekaman Audio Sinkronos 01 (14 Sept 2020): Sekilas Functional Programming
Video Tutorial 1: Pengenalan Haskell
Tugas Satu Pengenalan Haskell
Pekan 02: Expression Evaluation - Weekly asynchronous discussion and reflection
Slide Pekan 02: Harap pahami ini hanya sebagian dari materi, peserta perlu membaca buku untuk materi yang lengkap demi ujian yang baik.
Rekaman Video Sinkronos 02 (21 Sept 2020): Expression and Evaluation
Rekaman Audio Sinkronos 02 (21 Sept 2020): Expression and Evaluation
Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 1
Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 2
Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 3
Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 4
Video Tutorial 2: Expression dan Evaluation - Part 1
Video Tutorial 2: Expression dan Evaluation - Part 2
Tugas Dua Expression dan Evaluation
Pekan 03: Partial Evaluation and Currying - Weekly asynchronous discussion and reflection
Slide Pekan 03: Harap pahami ini hanya sebagian dari materi, peserta perlu membaca buku untuk materi yang lengkap demi ujian yang baik.
Rekaman Video Sinkronos 03 (28 Sept 2020): Partial Evaluation and Currying
Rekaman Audio Sinkronos 03 (28 Sept 2020): Partial Evaluation and Currying
Latihan Pekan 03
Video Kuliah 03: Currying, Partial Evaluation, Composition - Part 1
Video Kuliah 03: Currying, Partial Evaluation, Composition - Part 2
Video Kuliah 03: Currying, Partial Evaluation, Composition - Part 3
Video Tutorial 3: Partial Evaluation and Currying
Tugas 3 Partial Evaluation and Currying
Pekan 04: Higher Order Function - Weekly asynchronous discussion and reflection
Slide Pekan 04: Harap pahami ini hanya sebagian dari materi, peserta perlu membaca buku untuk materi yang lengkap demi ujian yang baik.
Rekaman Video Sinkronos 04 (5 Okt 2020): Higher Order Function and Polymorphism
Rekaman Audio Sinkronos 04 (5 Okt 2020): Higher Order Function and Polymorphism
Contoh Soal Pra UAS 2019
Video Kuliah 04: Higher Order Function - Part 1
Video Kuliah 04: Higher Order Function - Part 2
Video Tutorial 4: Higher Order Function and Lazy Evaluation
Tugas 4 Higher Order Function dan Lazy Evaluation
Pekan 05: Lazy Evaluation - Weekly asynchronous discussion and reflection
Slide Pekan 05: Lazy Evaluation + Arahan Tugas Kelompok + Tugas Pengganti
Rekaman Video Sinkronos 05 (12 Okt 2020): Lazy Evaluation
Rekaman Audio Sinkronos 05 (12 Okt 2020): Lazy Evaluation
Studi Mandiri: Lazy List dan List Comprehension
Latihan Pekan 05: Lazy Evaluation
Video Kuliah 05: Lazy Evalution
Pekan 06: Lambda Calculus - Weekly asynchronous discussion and reflection
Slide Pekan 06: Simply Typed Lambda Calculus
Rekaman Video Sinkronous 06 (19 Okt 2020): Simply Typed Lambda Calculus (Part 1)
Rekaman Audio Sinkronous 06 (19 Okt 2020): Simply Typed Lambda Calculus (Part 1)
Rekaman Video Sinkronous 07 (26 Okt 2020): Simply Typed Lambda Calculus (Part 2)
Rekaman Audio Sinkronous 07 (26 Okt 2020): Simply Typed Lambda Calculus (Part 2)
A Tutorial Introduction to the Lambda Calculus - Raul Rojas (Terjemahan)
LambdaGuru (Typing)
λ Interpreter
Video Kuliah 06: Simply Typed Lambda Calculus - Part 1
Video Kuliah 06: Simply Typed Lambda Calculus - Part 2
Video Kuliah 06: Simply Typed Lambda Calculus - Part 3
External: A Brief Lambda Calculus
Nice other video about experience in using Haskell
Example Project for 2 persons team: JSON Parser
Video External: 5 Years of Haskell in Industry
Tugas 5 Individu: Church's Numeral Interpretation
Submit Topik Kelompok dan anggota kelompoknya.
Submit Tugas Infografis
Forum Tanya Jawab UTS
Contoh Panduan Umum UTS Fun Pro 2020
Functional Programming Exercises (Recommended to try before Exams!)
Contoh Soal Essay 1 nomor (pilih kerjakan 1 nomor saja) - 30 menit
Contoh Panduan Pengerjaan Soal Programming
Pekan 09: Functional Component React
Video Tutorial: React Functional Component
Pekan 10: React Hook
Tutorial React Functional Component dan Hooks
Pekan 11: Erlang Basics
Pekan 12: Erlang OTP: Process and Concurrency
Topik: Implementation of Type System (tba)
Topik Tambahan: Paralel Haskell
Pekan 13: Introduction to Type Inference
Video External - Project Lambda
Video External - How to make a technical presentation
Rekaman Video Sinkronous 06 (19 Okt 2020): Simply Typed Lambda Calculus (Part 1) ►
CSCE604123 - MOOC72021
Home
Calendar
Data retention summary
