Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for calculus polymorphism
calculus
x
polymorphism
x
5 search results found
Haskell Resources
⭐
824
A List of Foundational Haskell Papers
Aith
⭐
54
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
Linearml
⭐
22
A simple implementation of linear type theory
System F
⭐
18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Deriv
⭐
6
A symbolic derivative calculator REST API and Java library
Related Searches
Lambda Functions Calculus (377)
Haskell Calculus (190)
Python Calculus (176)
Mathematics Calculus (170)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.