jsiek/al

Stars
6
Rank 2,539,965 (Top 51 %)
Language
OCaml
Created over 7 years ago
Updated over 7 years ago

jsiek/al

jsiek

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Al: a language for teaching algorithms and data structures

B629-denotational

Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University

abstract-binding-trees

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

gradual-typing-in-agda

Formalizations of Gradually Typed Languages in Agda

B522-PL-Foundations

Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University

featherweight-C

Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine

denotational_semantics

Denotational semantics based on graph and filter models

arete

Arete is an experimental programming language.

step-indexed-logic

A modal logic for reasoning about step-indexed logical relations

B505-algorithms-public

Public material for the course B505 Applies Algorithms at Indiana University

prototypes-in-python

Prototypes of programming languages written in Python.

agda-stdlib-doc