💻소프트웨어학과 전공 과제 저장소
-
Updated
May 2, 2022 - C
💻소프트웨어학과 전공 과제 저장소
A repository containing the definition and implementation of a statically typed, purely functional language of my design and creation.
GISA is an implementation of "a very basic language" presented in 'Introduction to Static Analysis: An Abstract Interpretation Perspective.'
My own personal list of ownership policies. 🔬 📚 ❓ 🤔 [Work in Progress]
interps compilers theories
Simple compiler, it was designed for Programming Language Translation course, in my 7th term.
A cunning interpreter for the pure untyped λ-calculus.
💐 j is a subset of J, and an essay.
Study notes of Software Foundations
Property Record Object | Tree Automata Grammar
Crafting an interpreter/compiler with TypeScript.
Scriptlang is a cross-platform solution/alternative to the current scripting languages Batch and Shell.
Solutions to exercises from: Essentials of Programming Languages: 3rd edition (http://www.eopl3.com/) in Scala
Programming language theory resources
There are some implementations of computation theory in Ruby.
My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
The Cocke-Younger-Kasami algorithm implementation proposed by Lange-Leiss that handles grammars on 2NF(Binary Normal Form) instead of CNF(Chomsky Normal Form).
Add a description, image, and links to the programming-language-theory topic page so that developers can more easily learn about it.
To associate your repository with the programming-language-theory topic, visit your repo's landing page and select "manage topics."