Sign In
Sign Up
Behavioural Types
Simon Gay
António Ravara
-
/
5
0 votes
Type Theory
Programming Languages (Electronic Computers)
Computers / Programming / Software Development
Universal Soldier: The Return
3.0
2K votes
TRON: Legacy
3.2
8K votes
Stealth
2.7
2K votes
The Zero Theorem
3.0
2K votes
Summer Wars
3.7
913 votes
The Butterfly Effect
3.8
8K votes
2010
3.3
913 votes
IO
2.5
2K votes
Anon
3.0
2K votes
Prospect
3.1
812 votes
Freaks
3.4
2K votes
Judge Dredd
2.9
3K votes
District 9
3.7
10K votes
The Wandering Earth II
3.6
549 votes
JUNG_E
3.1
589 votes
The Thirteenth Floor
3.5
2K votes
Oxygen
3.3
2K votes
Transcendence
3.0
6K votes
Tron
3.3
3K votes
Arrival
3.8
18K votes
The Cabbage Soup
3.2
848 votes
Downsizing
2.7
4K votes
Choose or Die
2.6
774 votes
Sunshine
3.5
4K votes
Godzilla vs. Kong
3.8
10K votes
Johnny Mnemonic
2.9
2K votes
Virtuosity
2.7
526 votes
Jurassic World Dominion
3.3
6K votes
WarGames
3.5
2K votes
Time Lapse
3.3
2K votes
Close Encounters of the Third Kind
3.7
5K votes
Chain Reaction
2.9
2K votes
THX 1138
3.2
930 votes
Her
3.9
15K votes
Eternals
3.4
9K votes
*batteries not included
3.3
688 votes
A Quiet Place
3.7
15K votes
S1m0ne
3.0
888 votes
Rogue One: A Star Wars Story
3.7
16K votes
Kingdom of the Planet of the Apes
3.6
3K votes
The Matrix Resurrections
3.2
6K votes
Ghost in the Shell
4.0
4K votes
Valerian and the City of a Thousand Planets
3.3
8K votes
The Incredible Hulk
3.1
12K votes
The Arrival
3.0
725 votes
The Fly
3.5
525 votes
2001: A Space Odyssey
4.0
12K votes
Paradise
3.3
562 votes