Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
161 commits behind the upstream repository.
2020-11-04-codemeshtalk.md 477 B 
title: Talk at Code Mesh, Philippa Gardner

Philippa will be one of the speakers at this year’s Code Mesh, a two-day conference on functional programming languages and alternative tech.

The talk, on Gillian, will give a general introduction to the multi-language platform for symbolic program analysis and its instantiation to JavaScript and C.