jmtd → PhD

Since 2017 I am working towards a PhD in the School of Computing at Newcastle University.

My research question is currently

Does purely functional programming offer benefits for the design and implementation of distributed stream-processing systems?

StrIoT

StrIoT is a proof-of-concept implementation of a stream processing system in a purely-functional language (Haskell).

Blog posts:

• GHC rewrite rules
• PhD year 4 progression
• LaTeX draft documents
• Queueing theory
• Answering my own Template Haskell question
• git rebasing and lab books
• PhD Year 3 progression
• Type design
• Generic Haskell
• Template Haskell and Stream-processing programs
• template haskell
• data-types for representing stream-processing programs
• PhD Poster
• PhD Stage 1 Progression Report
• PhD Proposal
• Fourth Annual UK System Research Challenges Workshop
• embedding Haskell in AsciiDoc
• My PhD topic
• PhD