diff options
Diffstat (limited to 'docs/opt-coercion/fc-normalization-rta.bib')
| -rw-r--r-- | docs/opt-coercion/fc-normalization-rta.bib | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/opt-coercion/fc-normalization-rta.bib b/docs/opt-coercion/fc-normalization-rta.bib index f98ff15970..6074e35d0b 100644 --- a/docs/opt-coercion/fc-normalization-rta.bib +++ b/docs/opt-coercion/fc-normalization-rta.bib @@ -3296,7 +3296,7 @@ FlashEd, the overhead due to updating is typically less than 1 percent. booktitle = 1998 # " " # icfp, year = 1998, month = sep, - addresss = "Baltimore", + address = "Baltimore", pages = "51--62", } @@ -3976,7 +3976,7 @@ FL)}, @incollection{ morrisett97semantics, author = "Greg Morrisett and Robert Harper", title = "Semantics of Memory Management for Polymorphic Languages", - booktitle = "Higer Order Operational Techniques in Semantics", + booktitle = "Higher Order Operational Techniques in Semantics", publisher = "Newton Institute, Cambridge University Press", editor = "Andrew Gordon and Andrew M. Pitts", year = "1997", @@ -5933,7 +5933,7 @@ January 19 - 21, 2000, Boston, MA USA}, @inproceedings{ambler+:hybrid, author = {Simon Ambler and Roy L. Crole and Alberto Momigliano}, - title = {Combining Higer Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction}, + title = {Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction}, booktitle = {Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings}, publisher = {Springer}, |