A list of topics

A unified functional programming language for the three-tiered web programs

A language-integrated LR parser for Haskell

Static analysis on SmartThings Home Automation Applications

An educational coding environment for SmallBasic

An Android BLE Emulator for testing wearable apps without hardware devices

A testing framework for Ethereum smart contracts in EVM bytecodes/Solidity

Updated: January 28, 2020.