ilyasergey/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
Developer Profile
ilyasergey
Discovered public repositories for ilyasergey in the GitHub catalog.
ilyasergey/coq-exercises
Exercises for Coq course, based on SSReflect, Coq'Art and CPDT
ilyasergey/plt-redex-fj
A PLT Redex implementation of Featherweight Java
ilyasergey/monadic-cfa
Generic implementation of different CFA families based on monadic decomposition
ilyasergey/typechecker-transformations
An implementation of the mechanical correspondence between algorithms for type checking
ilyasergey/Gradual-Ownership
Experimental implementation of Gradual Ownership Types for Java 1.4
ilyasergey/reachability
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
ilyasergey/GHC-XAppFix-TestSuite
Tests for ApplicativeFix GHC extension
ilyasergey/GHC-XAppFix-BaseLibrary
Augmented base library for GHC for ApplicativeFix support
ilyasergey/GHC-XAppFix
Extension of Glasgow Haskell Compiler to support recursive applicative bindings
ilyasergey/semantic-slicer
Slicing programs to decompose them into independent procedures