Stem miranda$ (all stems)
4 papers:
- SAC-1996-Turner #generative #named #parsing
- SNACC: a parser generator for use with Miranda (DAT), pp. 401–407.
- FPLE-1995-Davison #c #education
- Teaching C after Miranda (AD), pp. 35–50.
- LFP-1986-Thompson
- Laws in Miranda (SJT), pp. 1–12.
- FPCA-1985-Turner85 #functional #named #polymorphism #strict
- Miranda: A Non-Strict Functional language with Polymorphic Types (DAT), pp. 1–16.