Fengyun Liu thoughts on programming, language and logic
I am a programmer, I enjoy writing (meta-)programs.
I’m passionate about using programming languages and formal methods to address programmability, performance, security, reliability and productivity challenges.
I just defended my thesis (slides). I’m looking for jobs related to programming languages: CV.
Posts
» Modal Logic and Modal Types
» Programming as Theory Building
» Referential transparency, definiteness and unfoldability
» Synchronous Dataflow Programming Languages
» Encoding Tuples and Variants in System F
» Intuitionistic Logic
» Types and Programming Languages
» Flow Control and Congestion Control in TCP
» Distributed Algorithms
» Wait-Free Concurrent Computing
» ...
» Programming as Theory Building
» Referential transparency, definiteness and unfoldability
» Synchronous Dataflow Programming Languages
» Encoding Tuples and Variants in System F
» Intuitionistic Logic
» Types and Programming Languages
» Flow Control and Congestion Control in TCP
» Distributed Algorithms
» Wait-Free Concurrent Computing
» ...