Bibby, Duane
Overview
Works:  54 works in 160 publications in 2 languages and 1,947 library holdings 

Genres:  Laboratory manuals Fiction Stories in rhyme 
Roles:  Illustrator, Author 
Publication Timeline
.
Most widely held works by
Duane Bibby
The little prover by
Daniel P Friedman(
)
8 editions published in 2015 in English and Undetermined and held by 839 WorldCat member libraries worldwide
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of questionandanswer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through stepbystep examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example
8 editions published in 2015 in English and Undetermined and held by 839 WorldCat member libraries worldwide
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of questionandanswer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through stepbystep examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example
The TeXbook by
Donald Ervin Knuth(
Book
)
38 editions published between 1984 and 2004 in English and held by 627 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
38 editions published between 1984 and 2004 in English and held by 627 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
Inventors workshop by
Alan J McCormack(
Book
)
1 edition published in 1981 in English and held by 117 WorldCat member libraries worldwide
Grade level: 3, 4, 5, 6, 7, 8, e, p, i, s, t
1 edition published in 1981 in English and held by 117 WorldCat member libraries worldwide
Grade level: 3, 4, 5, 6, 7, 8, e, p, i, s, t
The little typer by
Daniel P Friedman(
Book
)
3 editions published in 2018 in English and held by 34 WorldCat member libraries worldwide
A program's type describes its behavior. Dependent types are a firstclass part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. "The Little Typer" explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisplike programming language, as presented in the first four chapters of "The Little Schemer". The first five chapters of "The Little Typer" provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programmingpairs, lists, functions, and recursioncan also capture patterns of reasoning. "The Little Typer" does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time
3 editions published in 2018 in English and held by 34 WorldCat member libraries worldwide
A program's type describes its behavior. Dependent types are a firstclass part of a language, and are much more powerful than other kinds of types; using just one language for types and programs allows program descriptions to be as powerful as the programs they describe. "The Little Typer" explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning. Readers should be familiar with the basics of a Lisplike programming language, as presented in the first four chapters of "The Little Schemer". The first five chapters of "The Little Typer" provide the needed tools to understand dependent types; the remaining chapters use these tools to build a bridge between mathematics and programming. Readers will learn that tools they know from programmingpairs, lists, functions, and recursioncan also capture patterns of reasoning. "The Little Typer" does not attempt to teach either practical programming skills or a fully rigorous approach to types. Instead, it demonstrates the most beautiful aspects as simply as possible, one step at a time
Facts in a flash : addition & subtraction, grades 13 : strategies for fast fact recall by
Patricia Cartland Noble(
Book
)
2 editions published in 2000 in English and held by 31 WorldCat member libraries worldwide
Activities designed to teach the facts of multiplication and division
2 editions published in 2000 in English and held by 31 WorldCat member libraries worldwide
Activities designed to teach the facts of multiplication and division
The reasoned schemer by
Daniel P Friedman(
Book
)
5 editions published between 2005 and 2018 in English and held by 31 WorldCat member libraries worldwide
"The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs  thereby combining the benefits of both styles. The extension encapsulates most of the ideas in the logic programming language Prolog." "The pedagogical method of The Reasoned Schemer is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first eight chapters of The Little Schemer is assumed." "Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic programming is and how easy it is to define functions that behave like relations."Résumé de l'éditeur
5 editions published between 2005 and 2018 in English and held by 31 WorldCat member libraries worldwide
"The goal of The Reasoned Schemer is to help the functional programmer think logically and the logic programmer think functionally. The authors of The Reasoned Schemer believe that logic programming is a natural extension of functional programming, and they demonstrate this by extending the functional language Scheme with logical constructs  thereby combining the benefits of both styles. The extension encapsulates most of the ideas in the logic programming language Prolog." "The pedagogical method of The Reasoned Schemer is a series of questions and answers, which proceed with the characteristic humor that marked The Little Schemer and The Seasoned Schemer. Familiarity with a functional language or with the first eight chapters of The Little Schemer is assumed." "Adding logic capabilities required the introduction of new forms. The authors' goal is to show to what extent writing logic programs is the same as writing functional programs using these forms. In this way, the reader of The Reasoned Schemer will come to understand how simple logic programming is and how easy it is to define functions that behave like relations."Résumé de l'éditeur
LATEX : a document preparation system : user's guide and reference manual by
Leslie Lamport(
Book
)
15 editions published between 1986 and 2007 in English and Spanish and held by 31 WorldCat member libraries worldwide
With the release of LaTex 2[subscript epsilon], the new standard version, LaTex has become even more powerful. Among its new features are an improved method for handling different styles of type, and commands for including graphics and producing colors. LaTex 2[subscript epsilon] makes available to all LaTex users valuable enhancements to the software that have been developed over the years by users in many different places to satisfy a variety of needs
15 editions published between 1986 and 2007 in English and Spanish and held by 31 WorldCat member libraries worldwide
With the release of LaTex 2[subscript epsilon], the new standard version, LaTex has become even more powerful. Among its new features are an improved method for handling different styles of type, and commands for including graphics and producing colors. LaTex 2[subscript epsilon] makes available to all LaTex users valuable enhancements to the software that have been developed over the years by users in many different places to satisfy a variety of needs
METAFONT : the program by
Donald Ervin Knuth(
Book
)
3 editions published between 1986 and 1997 in English and held by 26 WorldCat member libraries worldwide
Volume D
3 editions published between 1986 and 1997 in English and held by 26 WorldCat member libraries worldwide
Volume D
The METAFONTbook by
Donald Ervin Knuth(
Book
)
10 editions published between 1986 and 2000 in English and held by 21 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
10 editions published between 1986 and 2000 in English and held by 21 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
LATEX : a document preparation system by
Leslie Lamport(
Book
)
7 editions published between 1985 and 1994 in English and held by 18 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
7 editions published between 1985 and 1994 in English and held by 18 WorldCat member libraries worldwide
Computing Methodologies  Text Processing
The joy of TEX : a gourmet guide to typesetting with the AMSTEX macro package by
Michael Spivak(
Book
)
2 editions published in 1990 in English and held by 12 WorldCat member libraries worldwide
Designed to simplify the input of mathematical material in particular and to format the output according to any of various preset style specifications
2 editions published in 1990 in English and held by 12 WorldCat member libraries worldwide
Designed to simplify the input of mathematical material in particular and to format the output according to any of various preset style specifications
Counting six to ten by
Leland B Jacobs(
Book
)
2 editions published in 1990 in English and held by 11 WorldCat member libraries worldwide
Not for borrowing upstairs cupboard
2 editions published in 1990 in English and held by 11 WorldCat member libraries worldwide
Not for borrowing upstairs cupboard
Computers & typesetting by
Donald Ervin Knuth(
Book
)
1 edition published in 1986 in English and held by 9 WorldCat member libraries worldwide
1 edition published in 1986 in English and held by 9 WorldCat member libraries worldwide
TEX : the program by
Donald Ervin Knuth(
Book
)
5 editions published between 1986 and 2001 in English and held by 9 WorldCat member libraries worldwide
Volume B
5 editions published between 1986 and 2001 in English and held by 9 WorldCat member libraries worldwide
Volume B
Human body by
Julie Pier Brodie(
Book
)
2 editions published in 1996 in English and held by 9 WorldCat member libraries worldwide
Contains over 100 activities related to a particular theme which teachers may use as an integrated approach to teaching the curriculum
2 editions published in 1996 in English and held by 9 WorldCat member libraries worldwide
Contains over 100 activities related to a particular theme which teachers may use as an integrated approach to teaching the curriculum
Telling time : grade 2 by
Vicky Shiotsu(
Book
)
2 editions published in 2002 in English and held by 9 WorldCat member libraries worldwide
2 editions published in 2002 in English and held by 9 WorldCat member libraries worldwide
The little LISPer by
Daniel P Friedman(
Book
)
4 editions published between 1987 and 1988 in English and held by 8 WorldCat member libraries worldwide
4 editions published between 1987 and 1988 in English and held by 8 WorldCat member libraries worldwide
The little MLer by
Matthias Felleisen(
Book
)
2 editions published in 1998 in English and held by 8 WorldCat member libraries worldwide
2 editions published in 1998 in English and held by 8 WorldCat member libraries worldwide
The little Schemer by
Daniel P Friedman(
Book
)
4 editions published between 1996 and 2007 in English and held by 8 WorldCat member libraries worldwide
The Little Schemer introduces computing as an extension of arithmetic and algebra  things that everyone studies in grade school and high school. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language Scheme and a menu of interesting foods to illustrate these abstract ideas. The Seasoned Schemer introduces the reader to additional dimensions of computing: functions as values, change of state, and exceptional cases. The Little LISPer has been a popular introduction to LISP for many years. It has appeared in French and Japanese. The Little Schemer and The Seasoned Schemer are worthy successors and will prove equally popular as textbooks for Scheme courses as well as companion texts for any complete introductory course in Computer Science
4 editions published between 1996 and 2007 in English and held by 8 WorldCat member libraries worldwide
The Little Schemer introduces computing as an extension of arithmetic and algebra  things that everyone studies in grade school and high school. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use the programming language Scheme and a menu of interesting foods to illustrate these abstract ideas. The Seasoned Schemer introduces the reader to additional dimensions of computing: functions as values, change of state, and exceptional cases. The Little LISPer has been a popular introduction to LISP for many years. It has appeared in French and Japanese. The Little Schemer and The Seasoned Schemer are worthy successors and will prove equally popular as textbooks for Scheme courses as well as companion texts for any complete introductory course in Computer Science
Small memory software : patterns for systems with limited memory by
James Noble(
Book
)
3 editions published between 2000 and 2001 in English and held by 6 WorldCat member libraries worldwide
3 editions published between 2000 and 2001 in English and held by 6 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Friedman, Daniel P. Author
 Felleisen, Matthias Author of afterword, colophon, etc. Author
 Eastlund, Carl
 Moore, J Strother 1947 Author of introduction
 Knuth, Donald Ervin 1938 Author
 Fearon Teacher Aids
 McCormack, Alan J. Author
 Harper, Robert 1957 Author of introduction
 Christiansen, David Thrane
 McBride, Conor Author of afterword, colophon, etc.
Associated Subjects
Addition ArithmeticStudy and teaching (Elementary) ArithmeticStudy and teaching (Primary) Automatic theorem proving Computerized typesetting Computer logic Computer storage devices Division Font editors Functional programming (Computer science) Human anatomyStudy and teaching (Elementary) Human bodyStudy and teaching (Elementary) Human bodyStudy and teaching (Primary) Human physiologyStudy and teaching (Elementary) Inventions LaTeX (Computer file) LISP (Computer program language) Logic programming Mathematics printing Mathematics printingComputer programs Memory management (Computer science) METAFONT ML (Computer program language) Multiplication Objectoriented programming (Computer science) Printing Recursive programming Scheme (Computer program language) Science projects ScienceStudy and teaching (Elementary) ScienceStudy and teaching (Primary) ScienceStudy and teaching (Secondary) Subtraction Systems software TechnologyStudy and teaching (Primary) TeX (Computer file) TimeStudy and teaching (Primary) Type and typefoundingData processing Typesetting Type theory