Fix Biber warnings

book.bib

@@ -16,7 +16,7 @@
 	date-added = {2005-11-25 10:55:03 -0600},
 	date-modified = {2009-08-25 22:28:20 -0600},
 	journal = {Theoretical Computer Science},
-	month = {December},
+	month = dec,
 	number = {2},
 	pages = {125-159},
 	rating = {5},
@@ -193,7 +193,7 @@ machine.},
   author = 	 {Jukka Lehtosalo},
   title = 	 {MyPy Optional Type Checker for Python},
   howpublished = {\url{http://mypy-lang.org/}},
-  month = 	 {June},
+  month = 	 jun,
   year = 	 2021}
 
 @book{Russell2003,
@@ -214,7 +214,7 @@ edition = {2},
 @Manual{PSF21:python_ref,
   title = 	 {The Python Language Reference},
   organization = {Python Software Foundation},
-  month = 	 {June},
+  month = 	 jun,
   year = 	 2021,
   howpublished = {\url{https://docs.python.org/3/reference/}},
 }
@@ -310,7 +310,7 @@ edition = {2},
   title =         {Realm of Racket: Learn to Program, One Game at a
                    Time!},
   year =          {2013},
-  isbn =          {1593274912, 9781593274917},
+  isbn =          {1593274912},
 }
 
 @techreport{Flatt:2014aa,
@@ -324,7 +324,7 @@ edition = {2},
 @manual{Intel:2015aa,
   author =        {Intel},
   institution =   {Intel},
-  month =         {December},
+  month =         dec,
   title =         {Intel 64 and IA-32 Architectures Software Developer's
                    Manual Combined Volumes: 1, 2A, 2B, 2C, 3A, 3B, 3C
                    and 3D},
@@ -338,12 +338,12 @@ edition = {2},
   publisher =     {Addison-Wesley Publishing Company},
   title =         {Computer Systems: A Programmer's Perspective},
   year =          {2010},
-  isbn =          {0136108040, 9780136108047},
+  isbn =          {0136108040},
 }
 
 @manual{Bryant:2005aa,
   author =        {Randal E. Bryant and David R. O'Hallaron},
-  month =         {September},
+  month =         sep,
   organization =  {Carnegie Mellon University},
   title =         {x86-64 Machine-Level Programming},
   year =          {2005},
@@ -352,7 +352,7 @@ edition = {2},
 @manual{Matz:2013aa,
   author =        {Michael Matz and Jan Hubicka and Andreas Jaeger and
                    Mark Mitchell},
-  month =         {October},
+  month =         oct,
   title =         {System V Application Binary Interface, AMD64
                    Architecture Processor Supplement},
   year =          {2013},
@@ -362,7 +362,7 @@ edition = {2},
   author =        {Microsoft},
   howpublished =
   {\url{https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/x64-architecture}},
-  month =         {March},
+  month =         mar,
   title =         {x64 Architecture},
   year =          {2018},
 }
@@ -371,7 +371,7 @@ edition = {2},
   author =        {Microsoft},
   howpublished =
   {\url{https://docs.microsoft.com/en-us/cpp/build/x64-calling-convention}},
-  month =         {July},
+  month =         jul,
   title =         {x64 calling convention},
   year =          {2020},
 }
@@ -405,7 +405,7 @@ edition = {2},
 
 @phdthesis{Keep:2012aa,
   author =        {Andrew W. Keep},
-  month =         {December},
+  month =         dec,
   school =        {Indiana University},
   title =         {A Nanopass Framework for Commercial Compiler
                    Development},
@@ -520,7 +520,7 @@ edition = {2},
 @techreport{Danvy:1991fk,
   author =        {Olivier Danvy},
   institution =   {Kansas State University},
-  month =         {December},
+  month =         dec,
   number =        {CIS-92-02},
   title =         {Three Steps for the {CPS} Transformation},
   year =          {1991},
@@ -531,7 +531,7 @@ edition = {2},
                    Matthias Felleisen},
   booktitle =     {Conference on {P}rogramming {L}anguage {D}esign and
                    {I}mplementation},
-  month =         {June},
+  month =         jun,
   pages =         {502--514},
   series =        {PLDI},
   title =         {The essence of compiling with continuations},
@@ -926,7 +926,7 @@ edition = {2},
   title =         {The Garbage Collection Handbook: The Art of Automatic
                    Memory Management},
   year =          {2011},
-  isbn =          {1420082795, 9781420082791},
+  isbn =          {1420082795},
 }
 
 @inproceedings{Shahriyar:2013aa,
@@ -935,7 +935,7 @@ edition = {2},
   booktitle =     {OOPSLA '13: Proceeding of the 24th ACM SIGPLAN
                    conference on Object oriented programming systems
                    languages and applications},
-  month =         {oct},
+  month =         oct,
   title =         {Taking Off the Gloves with Reference Counting Immix},
   year =          {2013},
   doi =           {http://dx.doi.org/10.1145/2509136.2509527},
@@ -1023,7 +1023,7 @@ edition = {2},
   author =        {E.F. Moore},
   booktitle =     {Proceedings of an International Symposium on the
                    Theory of Switching},
-  month =         {April},
+  month =         apr,
   title =         {The shortest path through a maze},
   year =          {1959},
 }
@@ -1040,7 +1040,7 @@ edition = {2},
 @techreport{Steele:1977ab,
   author =        {Steele, Jr., Guy L.},
   institution =   {MIT Artificial Intelligence Lab},
-  month =         {September},
+  month =         sep,
   number =        {420},
   type =          {AI Memo},
   title =         {Data Representations in PDP-10 Maclisp},
@@ -1157,7 +1157,7 @@ edition = {2},
 @article{Kelsey:1998di,
   author =        {R. Kelsey and W. Clinger and J. Rees (eds.)},
   journal =       {Higher-Order and Symbolic Computation},
-  month =         {August},
+  month =         aug,
   number =        {1},
   title =         {Revised$^5$ Report on the Algorithmic Language
                    Scheme},
@@ -1334,7 +1334,7 @@ edition = {2},
   author =        {Jacob Matthews and Robert Bruce Findler},
   booktitle =     {The 34th ACM SIGPLAN-SIGACT Symposium on Principles
                    of Programming Languages},
-  month =         {January},
+  month =         jan,
   title =         {Operational Semantics for Multi-Language Programs},
   year =          {2007},
 }
@@ -1344,7 +1344,7 @@ edition = {2},
   author =        {Cormac Flanagan},
   booktitle =     {{POPL} 2006: The 33rd {ACM SIGPLAN-SIGACT} Symposium
                    on Principles of Programming Languages},
-  month =         {January},
+  month =         jan,
   pages =         {245-256},
   title =         {Hybrid Type Checking},
   year =          {2006},
@@ -1374,7 +1374,7 @@ edition = {2},
 @inproceedings{Siek:2006bh,
   author =        {Jeremy G. Siek and Walid Taha},
   booktitle =     {Scheme and Functional Programming Workshop},
-  month =         {September},
+  month =         sep,
   pages =         {81-92},
   title =         {Gradual typing for functional languages},
   year =          {2006},
@@ -1383,7 +1383,7 @@ edition = {2},
 @inproceedings{Wadler:2009qv,
   author =        {Philip Wadler and Robert Bruce Findler},
   booktitle =     {European {S}ymposium on {P}rogramming},
-  month =         {March},
+  month =         mar,
   pages =         {1--16},
   series =        {ESOP},
   title =         {Well-typed programs can't be blamed},
@@ -1393,7 +1393,7 @@ edition = {2},
 @inproceedings{Herman:2006uq,
   author =        {David Herman and Aaron Tomb and Cormac Flanagan},
   booktitle =     {Trends in Functional Prog. (TFP)},
-  month =         {April},
+  month =         apr,
   pages =         {XXVIII},
   title =         {Space-Efficient Gradual Typing},
   year =          {2007},
@@ -1414,7 +1414,7 @@ edition = {2},
 @article{Henglein:1994nz,
   author =        {Fritz Henglein},
   journal =       {Science of Computer Programming},
-  month =         {June},
+  month =         jun,
   number =        {3},
   pages =         {197-230},
   title =         {Dynamic typing: syntax and proof theory},
@@ -1426,7 +1426,7 @@ edition = {2},
   author =        {Jeremy G. Siek and Peter Thiemann and Philip Wadler},
   booktitle =     {Conference on Programming Language Design and
                    Implementation},
-  month =         {June},
+  month =         jun,
   series =        {PLDI},
   title =         {Blame and coercion: Together again for the first
                    time},
@@ -1438,7 +1438,7 @@ edition = {2},
                    Jeremy G. Siek},
   booktitle =     {Conference on Programming Language Design and
                    Implementation},
-  month =         {June},
+  month =         jun,
   publisher =     {ACM},
   series =        {PLDI},
   title =         {Toward Efficient Gradual Typing for Structural Types
@@ -1449,7 +1449,7 @@ edition = {2},
 @inproceedings{stroustrup88:_param_types,
   author =        {Bjarne Stroustrup},
   booktitle =     {USENIX {C++} Conference},
-  month =         {October},
+  month =         oct,
   title =         {Parameterized Types for {C++}},
   year =          {1988},
 }
@@ -1491,7 +1491,7 @@ edition = {2},
                    Eliot Moss and Craig Schaffert and Bob Scheifler and
                    Alan Snyder},
   institution =   {MIT},
-  month =         {October},
+  month =         oct,
   number =        {LCS-TR-225},
   publisher =     {Massachusetts Institute of Technology},
   title =         {{CLU} Reference Manual},