BibTeX Entry

Back to list

@techreport{penn:99.8,
  author	= {Penn, Gerald},
  title		= {A Quasi-Ring Construction for Compiling Attributed Type Signatures},
  type		= {Arbeitspapiere des {SFB} 340},
  number	= {141},
  institution	= {Universit{\"a}t T{\"u}bingen, Germany},
  year		= {1999},
  URL		= {/projects/sfb/reports/berichte/141/141.ps},
  urlzip	= {/projects/sfb/reports/berichte/141/141.ps.gz},
  urlpage	= {/projects/sfb/reports/berichte/141/141abs.html},
  homepage	= {http://www.cs.toronto.edu/~gpenn/index.html},
}