diff options
| author | Brian Wignall <brianwignall@gmail.com> | 2020-01-10 10:47:46 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-12 21:30:08 -0500 |
| commit | 0b5ddc7f2c10ee84631dd6cb5f6368afbc389449 (patch) | |
| tree | d9a77d5b2c55d75d9ae5b6fa199612315de9d163 /docs/opt-coercion/fc-normalization-rta.bib | |
| parent | 350e2b78788d47255d27489dfc62d664498b5de4 (diff) | |
| download | haskell-0b5ddc7f2c10ee84631dd6cb5f6368afbc389449.tar.gz | |
Fix more typos, via an improved Levenshtein-style corrector
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}, |