Dissertation • Publications • Sam Elliott • Developer & ResearcherA Concurrency System for Idris & Erlang My Bachelors Dissertation at the University of St Andrews • Supervisor: Dr Edwin Brady Abstract Concurrent programming is notoriously difficult, due to needing to reason not only about the sequential progress of any algorithms, but also about how information moves between concurrent agents. What if programmers were able to reason about their concurrent progr
