Open CourseWare
Recent changes
Login
This is an old revision of the document!
Cursuri CD
Curs 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.
Curs 1 mini (4 slide-uri / pagină)
exemple Racket
,
exemple Haskell
,
exemple Prolog
Curs 2: Recursivitate pe stivă / pe coadă / arborescentă. Calcul Lambda.
Curs 2 mini (4 slide-uri / pagină)
exemple Racket
Curs 3: Funcții ca valori de ordinul întâi. Funcționale. Abstractizare.
Curs 3 mini (4 slide-uri / pagină)
exemple Racket
Curs 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.
exemple Racket
Curs 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.
exemple Racket
implementare cu închideri
Curs 6: Limbajul Haskell. Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip.
exemple Haskell
General
Home
Punctaje
Regulament
Limbaje
Examene și teste
Bibliografie
Cursuri
CA
Curs
Codul de la curs
CB
Slides CB
Feedback CB
CC
Cursuri CC
Laboratoare
Github
Teme
Racket: Heap-uri de împerechere
Haskell: SAT Solving
Prolog: Light Up
pp/21/cursuri/mihaela.1617722290.txt.gz · Last modified: 2021/04/06 18:18 by mihaela.balint
Old revisions
Media Manager
Back to top
