Acm Uiuc Sigplan K Framework

Media Summary: Presenter: Grigore Rosu Presented at CPP'20, colocated at POPL 2020. ACM SIGPLAN - Type Theory - 4 (Featherweight Java) Opening + Keynote UIST 2025: The 38th Annual

Acm Uiuc Sigplan K Framework - Detailed Analysis & Overview

Presenter: Grigore Rosu Presented at CPP'20, colocated at POPL 2020. ACM SIGPLAN - Type Theory - 4 (Featherweight Java) Opening + Keynote UIST 2025: The 38th Annual ACM SIGPLAN - Type Theory - 1 (Lambda Calculus) This workshop is designed to be beginner-friendly, so we explain concepts with the assumption that our attendees know very little ...

Photo Gallery

ACM@UIUC SIGPLAN - K Framework Demo

Matching Logic: Foundation of the K Framework

ACM@UIUC SIGPLAN - PL Design - 1

ACM@UIUC SIGPLAN - Writing Interpreters - 2a (String Parsing)

ACM@UIUC SIGPLAN - How To Open Source: Lessons Learned From Building tailwind-ppx

ACM@UIUC SIGPLAN - Type Theory - 4 (Featherweight Java)

ACM@UIUC SIGPLAN - Interpreters - 5 (Polytypes)

ACM@UIUC SIGPLAN - Interpreters - 6 (Let Rec, Functions, Operators)

ACM@UIUC SIGPLAN - Interpreters - 4 (Better parsing, Conditionals)

ACM@UIUC SIGPLAN - Interpreters - 3 (Semantics, Variables)

UIST 2025 Opening + Keynote

ACM@UIUC SIGPLAN - Type Theory - 1 (Lambda Calculus)

View Detailed Profile

ACM@UIUC SIGPLAN - K Framework Demo

ACM@UIUC SIGPLAN - K Framework Demo

See the source code here: https://github.com/ReedOei/SnakeLang.

Matching Logic: Foundation of the K Framework

Matching Logic: Foundation of the K Framework

Presenter: Grigore Rosu Presented at CPP'20, colocated at POPL 2020.

ACM@UIUC SIGPLAN - PL Design - 1

ACM@UIUC SIGPLAN - PL Design - 1

ACM@UIUC SIGPLAN - PL Design - 1

ACM@UIUC SIGPLAN - Writing Interpreters - 2a (String Parsing)

ACM@UIUC SIGPLAN - Writing Interpreters - 2a (String Parsing)

Code: https://github.com/JKTKops/

ACM@UIUC SIGPLAN - How To Open Source: Lessons Learned From Building tailwind-ppx

ACM@UIUC SIGPLAN - How To Open Source: Lessons Learned From Building tailwind-ppx

Talk by https://github.com/dylanirlbeck. Tailwind PPX: https://github.com/dylanirlbeck/tailwind-ppx.

ACM@UIUC SIGPLAN - Type Theory - 4 (Featherweight Java)

ACM@UIUC SIGPLAN - Type Theory - 4 (Featherweight Java)

ACM@UIUC SIGPLAN - Type Theory - 4 (Featherweight Java)

ACM@UIUC SIGPLAN - Interpreters - 5 (Polytypes)

ACM@UIUC SIGPLAN - Interpreters - 5 (Polytypes)

Presented by Max Kopinsky. Code: https://github.com/JKTKops/

ACM@UIUC SIGPLAN - Interpreters - 6 (Let Rec, Functions, Operators)

ACM@UIUC SIGPLAN - Interpreters - 6 (Let Rec, Functions, Operators)

Presented by Max Kopinsky. Code at https://github.com/JKTKops/

ACM@UIUC SIGPLAN - Interpreters - 4 (Better parsing, Conditionals)

ACM@UIUC SIGPLAN - Interpreters - 4 (Better parsing, Conditionals)

Presented by Max Kopinsky.

ACM@UIUC SIGPLAN - Interpreters - 3 (Semantics, Variables)

ACM@UIUC SIGPLAN - Interpreters - 3 (Semantics, Variables)

By Max Kopinsky. Reference code: https://github.com/JKTKops/

UIST 2025 Opening + Keynote

UIST 2025 Opening + Keynote

Opening + Keynote UIST 2025: The 38th Annual

ACM@UIUC SIGPLAN - Type Theory - 1 (Lambda Calculus)

ACM@UIUC SIGPLAN - Type Theory - 1 (Lambda Calculus)

ACM@UIUC SIGPLAN - Type Theory - 1 (Lambda Calculus)

How To Build Your Own Website Workshop [H4I UIUC x ACM@UIUC]

How To Build Your Own Website Workshop [H4I UIUC x ACM@UIUC]

This workshop is designed to be beginner-friendly, so we explain concepts with the assumption that our attendees know very little ...