#

system-f

Here are 17 public repositories matching this topic...

zehaochen19 / vanilla-lang

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

programming-language lambda-calculus polymorphism type-inference system-f higher-rank-types

Updated Mar 9, 2023
Haskell

sgillespie / lambda-calculus

An introduction to the Lambda Calculus

lambda-calculus system-f

Updated Jun 14, 2022

tweag / pirouette

Language-generic workbench for building static analysis

haskell symbolic-execution formal-verification system-f

Updated Oct 5, 2023
Haskell

wbbradley / ace

A statically-typed strictly-evaluated garbage-collected readable programming language.

programming-language compiler llvm ffi lambda-calculus typeclass polymorphism type-safety hindley-milner zion static-typing system-f llvm-compiler garbage-collect newtypes

Updated Jul 8, 2024
C++

Lysxia / system-F

Formalization of the polymorphic lambda calculus and its parametricity theorem

lambda-calculus coq formalization polymorphism denotational-semantics system-f parametricity

Updated May 2, 2019
Coq

tominated / system_f_omega

My Attempt at System Fω with Row-Polymorphism

functional-programming ocaml lambda-calculus system-f system-f-omega row-polymorphism

Updated Jul 4, 2021
OCaml

L-TChen / Type-Theory

Lecture note on Lambda Calculus and Types for FLOLAC

lambda-calculus type-theory lecture system-f

Updated Jul 2, 2024
TeX

Ef55 / stainless-stlc

System F in Stainless

lambda-calculus verified system-f stainless

Updated Dec 25, 2022
Scala

aradarbel10 / Styff

A functional programming language based on system F (omega) ft. NbE and higher order unification

programming-language compiler pattern-matching ocaml functional-language type-inference typechecking system-f system-f-omega gadts

Updated May 12, 2023
OCaml

chrisnevers / bidirectional-typechecking

Bidirectional type checking for predicative System F

system-f subtyping bidirectional-typechecking higher-rank-types

Updated Jan 26, 2020
OCaml

gergoerdi / system-f-agda

System F

Updated Dec 10, 2017
Agda

Lambda-Calculi-OCaml

rudynicolop / Lambda-Calculi-OCaml

Lambda Calculus implementations in OCaml.

ocaml lambda-calculus educational lambda-cube system-f system-f-omega

Updated May 26, 2022
OCaml

Zeta611 / type-safe-programming

SLConf 2024: 타입으로 안전하게 프로그래밍하기

rust algebraic-data-types beamer polymorphism type-system system-f parametric-polymorphism simply-typed-lambda-calculus generalized-algebraic-data-type ad-hoc-polymorphism subtype-polymorphism universal-type

Updated Jan 14, 2024
TeX

thrunduil / Arrow

Progamming language based on the system F-omega with polymorphic kinds, (weakly) equirecursive types, general function overloading, type inference, and flexible syntax.

language system-f system-f-omega polymorphic-kinds equirecursive-types progamming-language

Updated Feb 11, 2021
C++

susisu / system-f-js-impl

An implementation of System F in JS

javascript system-f

Updated May 28, 2017
JavaScript

rudynicolop / Lambda-Calculi-Coq

Lambda-Calculi implementations & proofs in Coq

lambda-calculus coq lambda-cube system-f

Updated Jun 5, 2022
Coq

profbrandon / typeChecker

A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

typechecker pattern-matching type-system system-f parametric-polymorphism universal-quantifiers simply-typed-lambda-calculus

Updated Aug 5, 2017
Haskell

Improve this page

Add a description, image, and links to the system-f topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the system-f topic, visit your repo's landing page and select "manage topics."