wxzh

Pinned Repositories

Castor
Language:Scala2 1 00
cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala0 0 00
CP
A language for Compositional Programming
Language:Haskell5 2 01
EVF
Language:OCaml2 1 00
fcore
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
Language:Haskell0 1 00
fj
Featherweight Java in Object Algebras
Language:Java2 1 00
partition-checking
Language:Haskell0 2 00
shallow-dsl
Shallow Embedded Domain Specific Languages in Scala
Language:TeX10
tapl-java
Code of "Types and Programming Languages" book in Java
Language:Java2 1 01
training-day
Language:Clojure0 1 00

wxzh's Repositories

wxzh/CP
A language for Compositional Programming
Language:Haskell5 2 01
wxzh/Castor
Language:Scala2 1 00
wxzh/EVF
Language:OCaml2 1 00
wxzh/fj
Featherweight Java in Object Algebras
Language:Java2 1 00
wxzh/tapl-java
Code of "Types and Programming Languages" book in Java
Language:Java2 1 01
wxzh/shallow-dsl
Shallow Embedded Domain Specific Languages in Scala
Language:TeX10
wxzh/cats
Lightweight, modular, and extensible library for functional programming.
Language:Scala0 0 00
wxzh/fcore
Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
Language:Haskell0 1 00
wxzh/partition-checking
Language:Haskell0 2 00
wxzh/training-day
Language:Clojure0 1 00
wxzh/wxzh.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:CSS