nachivpn

nbe-course

NbE course @ Chalmers

nbe-edsl

Normalization by Evaluation for Embedded Domain-specific Languages

mt

Master thesis on developing a static type checker for Erlang

k

Meta-theory and normalization for Fitch-style modal lambda calculi

nbe-stlc

Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)

expelim

Exponential Elimination for Categorical Combinators

gluetn

Normalization for Gödel's system T using a glueing model construction

syntactic-ni

Migrated to https://github.com/carlostome/ni-nbe

bufferedis

An asynchronous write buffer for Redis using Jedis client

coherence

Proof of coherence for the initial CCC

cat

Category theory proofs in Agda

cbv

Matters of Call-by-value

fam

(Strong) Functors as Modalities

nbe-monadic

Experiments with NbE for all sorts of funky monadic extensions of STLC

lazy-lambda

Formalization of a lazy lambda calculus semantics

cc

Fiddling around with Categorical Combinators

ChalmersSecurity

temporal storage while re-designing a new page

dat037-2018-exercises

http://www.cse.chalmers.se/edu/year/2018/course/DAT037_Datastrukturer/

eh

Everything Haskell

fade-server

fcs2024

FCS website

fj

Functional Java - WTF or FTW?

ipl

Agda formalization of Intuitionistic Propositional Logic

latex-biblio

molr-core

A task delegation framework. Migrated to https://github.com/molr/molr-remote

ni-nbe

Noninterference by normalization (by evaluation)

Olifant

A simple lambda calculus like language targeting LLVM

papers-we-love.github.io

Official Papers We Love site

simplicity

Simplicity as a Haskell eDSL

stlc-nbe

Correctness of normalization-by-evaluation for STLC