Search Results for "pl"

...The list emphasizes primary sources and high-quality lectures, encouraging readers to engage with rigorous treatments rather than superficial summaries. It’s designed to serve both as a starting guide for newcomers and as a reference index for experienced practitioners, filling in gaps. By treating PL theory as an accessible, progressive curriculum, the repository lowers the barrier to serious study without diluting the subject.

A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level.

A homemade professional compiled programming language. It compiles to NASM and can cross-compile, though it's cross-compilation capabilities haven't been verified.

Frost is an interpreted structured programming language based on C and Objective-C. It has dynamically typed variables, named function parameters, implicit memory allocation, and automatic garbage collection through reference counting (for arrays). As any major interpreted language, you can easily create bindings of your C library functions to Frost. Its interpreter is written in C, and it only uses libC and POSIX system calls (Lex and Yacc are not required). You can easily compile it on...

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.