함수형 프로그래밍
미란다(Miranda)는 데이비드 터너가 그의 초기 프로그래밍 언어 SASL과 KRC의 후계자로서 설계한 느긋한 순수한 함수형 프로그래밍 언어이며, ML과 Hope로부터 몇몇 개념들을 가져왔다. 영국의 리서치 소프트웨어 Ltd.의 상품이자, ‘미란다’()라는 상표의 그것은 상업적으로 지원된 최초의 함수형 언어였다.