search

google-code-export / omega

Automatically exported from code.google.com/p/omega
Other
2 stars 0 forks source link

Incorrect literature reference #72

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
This Bibliography entry is probably not correct, because there is no such
paper in http://web.cecs.pdx.edu/~sheard/papers !

[SHL05] Tim Sheard, Jim Hook, and Nathan Linger. Gadts, refinement types,
and dependent programming, March 2005. Available from:
http://www.cs.pdx.edu/~sheard/ .

It should be changed to refer to
http://web.cecs.pdx.edu/~sheard/papers/GADT+ExtKinds.ps

The other references should be examined too.

Btw. this is the bib entry in doc/final.bib

@Misc{SheardHookLinger,
   author = "Tim Sheard and Jim Hook and Nathan Linger",
   title = "GADTs, Refinement Types, and Dependent Programming ",
   month = "March",
   year = "2005",
   note = "Available from:\\{\small {\tt
http://www.cs.pdx.edu/\verb+~+sheard/ }}"
   }   

should be:

@Misc{SheardHookLinger,
   author = "Tim Sheard and Jim Hook and Nathan Linger",
   title = "GADTs + Extensible Kinds = Dependent Programming",
   month = "April",
   year = "2005",
   note = "Available from:\\{\small {\tt
http://www.cs.pdx.edu/\verb+~+sheard/}}"
}

Original issue reported on code.google.com by ggr...@gmail.com on 26 Feb 2010 at 4:46

GoogleCodeExporter commented 9 years ago 
this is from http://web.cecs.pdx.edu/~sheard/bibEntries.html

@techreport{GADT+Kind=Dep,
title = "{GADT}s + Extensible Kind System = Dependent Programming",
author = "Tim Sheard and James Hook and Nathan Linger",
institution = "Portland State University",
year = "2005",
note = {{\tt http://www.cs.pdx.edu/\verb+~+sheard}}

Which is not perfectly correct, either.
}

Original comment by ggr...@gmail.com on 12 Mar 2010 at 9:18

GoogleCodeExporter commented 9 years ago 
r329 fixes this. It is a techreport with institution now, title yaer, month are 
correct

Original comment by ggr...@gmail.com on 12 Mar 2010 at 9:27

GoogleCodeExporter commented 9 years ago 
Unfortunately this did not make it into 1.4.4

Original comment by ggr...@gmail.com on 29 Mar 2010 at 3:54