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
Behavioural Types

Behavioural Types

by Simon Gay, António Ravara

Computer programmingProgramming languages (electronic computers)Programming languages (Electronic computers)Type theoryThéorie des types
0.0
Open Library
Open Library

Themes & subjects

Computer programmingProgramming languages (electronic computers)Programming languages (Electronic computers)Type theoryThéorie des typesCOMPUTERS / Programming / Software Development

Authors

Simon Gay, António Ravara

Pages

250

Read time

≈ 6h

Editions

5

Language

English

Publisher

River Publishers

ISBN

9781000799255

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

Advances in Computers, Volume 49 (Advances in Computers)

Computers, periodicals · Electronic data processing

Advances in Computers, Volume 49 (Advances in Computers)

Marvin V. Zelkowitz

1995

Software Engineering

Software engineering · Electronic digital computers

Software Engineering

Roger S. Pressman

1982

SQL for Dummies

SQL (Computer program language) · Database management

SQL for Dummies

Allen G. Taylor

1993

C++

Java (Computer program language) · C++ (Computer program language)

C++

Paul J. Deitel

1996

JavaScript

JavaScript (Computer program language) · Web servers

JavaScript

David Flanagan

1996

Java how to program

Java (Computer program language) · Object-oriented programming (Computer science)

Java how to program

Paul J. Deitel

2005

Structured Computer Organization

Computer organization · Computer programming

Structured Computer Organization

Andrew S. Tanenbaum

1975

Introduction to Algorithms

Algorithms · Computer algorithms

Introduction to Algorithms

Thomas H. Cormen

1990

The C++ programming language

C++ (Computer program language) · C++ (Computer programming language)

The C++ programming language

Bjarne Stroustrup

1986

Operating systems

Operating systems (Computers) · Syste mes d'exploitation (Ordinateurs)

Operating systems

William Stallings

1992

The Hacker Crackdown

Corrupt practices · Computer crimes

The Hacker Crackdown

Bruce Sterling

1992

Mindstorms

Computer programming · Robotics

Mindstorms

Rena Hixon

2016

Raspberry Pi User Guide

Raspberry Pi (Computer) · Programming

Raspberry Pi User Guide

Eben Upton

2012

Structure and Interpretation of Computer Programs (SICP)

Computer programming · LISP (Computer program language)

Structure and Interpretation of Computer Programs (SICP)

Harold Abelson

1985

Java for dummies

Computer Technology · Java (Computer program language)

Java for dummies

Barry A. Burd

2006

Learning Perl

Perl (Computer program language) · Perl (Computer utility)

Learning Perl

Randal L. Schwartz

1993

Reproducible Research with R and RStudio

Research, data processing · Programming languages (electronic computers)

Reproducible Research with R and RStudio

Christopher Gandrud

2013

Programming Perl

Perl (Computer program language) · Programming languages

Programming Perl

Larry Wall

1990