Kristopher Micinski

Closure Conversion: Examples and Implementation

Loops and Data Flow Analysis

Static Single Assignment and ANF Introduction

Continuation Passing Style (CPS) and CPS Conversion

LVar to x86 Compiler (CIS531 Project 2, F25)

Livecoding (Racket): Parsing Left-Associative Operators with LL(k) parsers

Minnowbrook Logic Programming Seminar (Supercut w/ Extras)

L19: Closure-Creating Interpreters (P3)

L3: Textual Reduction (Spring 2022)

L0: Racket Basics

CIS352 Spring 2022 Course Intro

L22: Continuations

L21: Fixed Points

P4: Church Encoding

L20: Church Numerals

L18: Reduction Strategies

L17: Lambda Calculus Reductions and Substitution

L16: Lambda Calculus Introduction

Project 1: PageRank

L15: Small Step Semantics of IfArith

L14: Natural Deduction for IfArith

L13: Interpreting IfArith

Plumbing an Espresso Machine to a 5 Gallon Jug

L12: Folding over Lists

L11: Practicing Tail Recursion

L10: Tail Calls and Tail Recursion

L9: Quasiquoting and Pattern Matching

Project 1: Tic-Tc-Toe

Declarative, Demand-Driven Reverse Engineering (BAR 2021)

L8: Mapping over Lists