Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ct-gradual-typing / Papers
The Combination of Dynamic and Static Typing from a Categorical Perspective
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ct-gradual-typing%2FPapers
Stars: 10
Forks: 0
Open Issues: 5
License: None
Language: TeX
Repo Size: 38.4 MB
Dependencies: pending
Created: almost 8 years ago
Updated: over 4 years ago
Last pushed: over 6 years ago
Last synced: 11 months ago
Topics: categorical-model, categorical-semantics, dynamic-typing, functional-programming, gradual-typing, retracts, static-typing