jeanqasaur / women-in-programming-languages-researchLinks
Women in Programming Languages and Software Engineering Research
☆173Updated 9 months ago
Alternatives and similar repositories for women-in-programming-languages-research
Users that are interested in women-in-programming-languages-research are comparing it to the libraries listed below
Sorting:
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆219Updated 2 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month
- ☆233Updated last year
- A comparison of how computational effects and handlers are implemented in various programming languages.☆142Updated 6 years ago
- ☆90Updated 3 years ago
- Lecture notes for a short course on proving/programming in Coq via SSReflect.☆173Updated 4 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A minimal proof language.☆209Updated 6 years ago
- CMU Undergrad Course☆95Updated 2 years ago
- Hoare Type Theory☆78Updated 3 months ago
- Implementation of the λΠ-calculus modulo rewriting☆213Updated 3 weeks ago
- Best of POPL (BOP) Reading Group Memoirs☆67Updated 3 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆54Updated last month
- A compiler for functional programs on serialized data☆167Updated this week
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- A proof assistant for general type theories☆308Updated last month
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆149Updated 3 years ago
- The mathematical study of type theories, in univalent foundations☆117Updated 7 months ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆55Updated 2 months ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated last year
- A library for effects in Coq.☆65Updated 3 years ago
- Coq formalizations of functional languages.☆145Updated 5 years ago
- Lem semantic definition language☆146Updated 6 months ago
- Mathematical Components (the Book)☆147Updated last week
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago