Skip to content
/ Papers Public

The Combination of Dynamic and Static Typing from a Categorical Perspective

10 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

ct-gradual-typing/Papers

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

385 Commits

Bounded

Bounded

 
 

Combined

Combined

 
 

Grady

Grady

 
 

Revised

Revised

 
 

references

references

 
 

.gitignore

.gitignore

 
 

README.md

README.md

 
 

Repository files navigation

Gradual Typing from a Categorical Prespective

This is the project repo whose goal is the study of gradual typing using categorical models as the driving force.

About

The Combination of Dynamic and Static Typing from a Categorical Perspective

Topics

functional-programming dynamic-typing gradual-typing categorical-semantics retracts static-typing categorical-model

Resources

Readme
Activity
Custom properties

Stars

10 stars

Watchers

4 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages