©
2018
Massachusetts
Institute
of
Technology
All
rights
reserved.
With
the
exception
of
completed
code
examples
in
solid
boxes,
no
part
of
this
book
may
be
reproduced
in
any
form by
any
electronic
or
mechanical
means
(including
photocopying,
recording,
or
information
storage
and
retrieval)
without
per-
mission
in
writing
from
the
publisher.
The
completed
code
examples
that
are
presented
in
solid
boxes
are
licensed
under
a
Creative
Commons
Attribution
4.0
International
License
(CC-By
4.0).
This
book
was
set
in
Computer
Modern
Unicode
by
the
authors
using
ETpX.
Printed
and
bound
in
the
United
States
of
America.
Library
of
Congress
Cataloging-in-Publication
Data
Names:
Friedman,
Daniel
P.,
author.
|
Christiansen,
David
Thrane,
author.
Title:
The
little
typer
/
Daniel
P.
Friedman
and
David
Thrane
Christiansen
;
drawings
by
Duane
Bibby
;
foreword
by
Robert
Harper
;
afterword
by
Conor
McBride.
Description:
Cambridge,
MA
:
The
MIT
Press,
[2018]
|
Includes
index.
Identifiers:
LCCN
2018017792
|
ISBN
9780262536431
(pbk.
:
alk.
paper)
Subjects:
LCSH:
Functional
programming
(Computer
science)
|
Logic
programming.
|
Computer
logic.
|
Type
theory.
Classification:
LCC
QA76.63
.F75
2018
|
DDC
005.101/5113-dce23
LC
record
available
at
https:
//lcecn.loc.gov/2018017792
0987654321
评论0
最新资源