fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
The Little Typer

The Little Typer

by Daniel P. Friedman, David Thrane Christiansen

Functional programming (computer science)Logic programming
0.0
Open Library
Open Library

Themes & subjects

Functional programming (computer science)Logic programming

About the author

Daniel P. Friedman

1944

Authors

Daniel P. Friedman, David Thrane Christiansen

Pages

424

Read time

≈ 11h

Editions

3

Language

English

Publisher

MIT Press

ISBN

9780262351003

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Programming Scala

Multiparadigm programming (Computer science) · Programming languages (Electronic computers)

Programming Scala

Dean Wampler

2009

Trends in Functional Programming

Functional programming (computer science) · Logic design

Trends in Functional Programming

Jurriaan Hage

2013

Functional Programming, Glasgow 1993

Computer science · Software engineering

Functional Programming, Glasgow 1993

John T. O'Donnell

1994

Steps in Scala

Multiparadigm programming (Computer science) · Functional programming (Computer science)

Steps in Scala

Christos K. K. Loverdos

2010

Functional programming in C#

COMPUTERS / Programming Languages / C · Functional programming (Computer science)

Functional programming in C#

Oliver Sturm

2011

Practical aspects of declarative languages

Declarative programming · Congresses

Practical aspects of declarative languages

Enrico Pontelli

2000

Purely functional data structures

Functional programming languages · Data structures (Computer science)

Purely functional data structures

Chris Okasaki

1998

Central European Functional Programming School

Functional programming (Computer science) · Congresses

Central European Functional Programming School

Zoltán Horváth

2006

Trends in Functional Programming

Logic design · Data Structures

Trends in Functional Programming

Ricardo Peña

2012

Central European Functional Programming School

Programming Techniques · Computer science

Central European Functional Programming School

Viktória Zsók

2012

Clojure programming

Java (Computer program language) · Java virtual machine

Clojure programming

Chas Emerick

2012

Functional JavaScript

Javascript (computer program language) · Functional programming (Computer science)

Functional JavaScript

Michael Fogus

2013

Logic for programming artificial intelligence and reasoning

Logic programming · Congresses

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Foundations of Probabilistic Logic Programming

Logic programming · Machine theory

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018

Discrete structures, logic, and computability

Computable functions · Computer science

Discrete structures, logic, and computability

James L. Hein

1994

Handbook of logic in artificial intelligence and logic programming

Logic programming · Symbolic and mathematical Logic

Handbook of logic in artificial intelligence and logic programming

Dov M. Gabbay

1993

The experience of literature

Literature · Collections

The experience of literature

Lionel Trilling

1967

Rules and Reasoning

Semantics · Programming languages (electronic computers)

Rules and Reasoning

Stefania Costantini

2017