encourage functional programming per martin l f developed intuitionistic type theory also called ''constructive'' type theory associated functional programs constructive proofs expressed dependent types led new approaches interactive theorem proving influenced development subsequent functional programming languages lazy functional language miranda developed david turner initially appeared strong influence haskell miranda proprietary haskell began consensus form open standard functional programming research implementation releases ongoing since recently found use
Formal science Computer science Programming languages Functional programming