Nyelvek listája
Kezdő oldal
Bevezetés
Funkcionális programozás
Alap gondolatok
Programozási környezet
Őregyenletek
Lokális függvények és blokkstruktúra
Mintaillesztés
Magasabb rendű függvények
Listák
Lusta kiértékelés és végtelen listák
Polimorfikus erős típusosság
Felhasználó által definiálható típusok
Típusszinonímák
Modul
Jelenlegi megvalósítások
Hivatkozások
Linkek
Előzmények
A Miranda programozási nyelv
Linkek
Linkek
An Overview of Miranda
Miranda Announcement
Programming Language Semantics using Miranda