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

Books · Search

Books by Johan Jeuring

Advanced functional programming

Functional programming (Computer science) · Congresses

Advanced functional programming

Johan Jeuring

2003

Mathematics of Program Construction

Computer programming · Congresses

Mathematics of Program Construction

Johan Jeuring

1998

Icfp'14

Johan Jeuring

2014

ICFP'13

Johan Jeuring

2014

Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming

Johan Jeuring

2014

Intelligent Computer Mathematics

Mathematical Logic and Formal Languages · Logic design

Intelligent Computer Mathematics

Johan Jeuring

2012

Generic programming

Generic programming (Computer science) · Congresses

Generic programming

Jeremy Gibbons

2003