[hcoop/debian/mlton.git] / doc / mlb-formal / bib.bib

@string{and = " and "}
@string{harper = "Robert Harper"}
@string{macqueen = "David~B. MacQueen"}
@string{milner = "Robin Milner"}
@string{tofte = "Mads Tofte"}

@book(MTHM97,
  author = milner # and # tofte # and # harper # and # macqueen,
  title = "The Definition of Standard ML (Revised)",
  publisher = "MIT Press",
  year = 1997)
Commit	Line	Data
7f918cf1 CE	1	@string{and = " and "}
	2	@string{harper = "Robert Harper"}
	3	@string{macqueen = "David~B. MacQueen"}
	4	@string{milner = "Robin Milner"}
	5	@string{tofte = "Mads Tofte"}
	6
	7	@book(MTHM97,
	8	author = milner # and # tofte # and # harper # and # macqueen,
	9	title = "The Definition of Standard ML (Revised)",
	10	publisher = "MIT Press",
	11	year = 1997)