Pinned Repositories
expelim
Exponential Elimination for Categorical Combinators
gluetn
Normalization for Gödel's system T using a glueing model construction
k
Meta-theory and normalization for Fitch-style modal lambda calculi
mt
Master thesis on developing a static type checker for Erlang
nbe-course
NbE course @ Chalmers
nbe-edsl
Normalization by Evaluation for Embedded Domain-specific Languages
nbe-stlc
Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)
syntactic-ni
Migrated to https://github.com/carlostome/ni-nbe
nachivpn's Repositories
nachivpn/nbe-edsl
Normalization by Evaluation for Embedded Domain-specific Languages
nachivpn/nbe-course
NbE course @ Chalmers
nachivpn/mt
Master thesis on developing a static type checker for Erlang
nachivpn/k
Meta-theory and normalization for Fitch-style modal lambda calculi
nachivpn/nbe-stlc
Normalization by Evaluation for STLC with sums (no proof of correctness, shame! shame! shame!)
nachivpn/expelim
Exponential Elimination for Categorical Combinators
nachivpn/gluetn
Normalization for Gödel's system T using a glueing model construction
nachivpn/syntactic-ni
Migrated to https://github.com/carlostome/ni-nbe
nachivpn/bufferedis
An asynchronous write buffer for Redis using Jedis client
nachivpn/coherence
Proof of coherence for the initial CCC
nachivpn/cbv
Matters of Call-by-value
nachivpn/cat
Category theory proofs in Agda
nachivpn/fam
(Strong) Functors as Modalities
nachivpn/glue
nachivpn/nbe-monadic
Experiments with NbE for all sorts of funky monadic extensions of STLC
nachivpn/lazy-lambda
Formalization of a lazy lambda calculus semantics
nachivpn/cc
Fiddling around with Categorical Combinators
nachivpn/ChalmersSecurity
temporal storage while re-designing a new page
nachivpn/dat037-2018-exercises
http://www.cse.chalmers.se/edu/year/2018/course/DAT037_Datastrukturer/
nachivpn/eh
Everything Haskell
nachivpn/fcs2024
FCS website
nachivpn/frames
nachivpn/ipl
Agda formalization of Intuitionistic Propositional Logic
nachivpn/latex-biblio
nachivpn/molr-core
A task delegation framework. Migrated to https://github.com/molr/molr-remote
nachivpn/ni-nbe
Noninterference by normalization (by evaluation)
nachivpn/Olifant
A simple lambda calculus like language targeting LLVM
nachivpn/papers-we-love.github.io
Official Papers We Love site
nachivpn/simplicity
Simplicity as a Haskell eDSL
nachivpn/stlc-nbe
Correctness of normalization-by-evaluation for STLC