Skip to content

A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics

Notifications You must be signed in to change notification settings

gspindles/Papers

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

37 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Papers

A collection of papers, theses, publications, and books (drafts) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics

This repository is meant for personal archiving. The pdf's found within the sub folders are taken directly from the professor's / researcher's / doctor's university site. If the author would like for particular publications to be removed, contact me and I will remove them.

About

A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published