Compsci Library 📚

69 views16:33

OK, more realistically maybe better to start with this one: https://www3.nd.edu/~dthain/compilerbook/

At the very least it's free.

60 views23:50

Compsci Library 📚

https://mukulrathi.com/create-your-own-programming-language/intro-to-compiler/

Mukulrathi

How I wrote my own "proper" programming language

No, this isn't one of those toy languages. In this series we'll cover objects, concurrency, generics and inheritance, amongst other more complex language features.

70 views02:40

Compsci Library 📚

OCaml Parser Toolkit Tuts

Ocamllex
https://ohama.github.io/ocaml/ocamllex-tutorial/

Ocamlyacc
https://ohama.github.io/ocaml/ocamlyacc-tutorial/

ohama.github.io

ocamllex tutorial :: Documentation for Hugo Learn Theme

This is a tutorial on how to use ocamllex.

158 views03:29

Compsci Library 📚

Forwarded from epic links / resources (λkaletaa.kaletaa)

J_Roger_Hindley,_Jonathan_P_Seldin_Lambda_calculus_and_combinators.pdf

1.5 MB

Lambda-calculus and combinators, an introduction - J. Roger Hindley, Jonathan P. Seldin

60 views01:12

Compsci Library 📚

Forwarded from epic links / resources (kλletaa)

milner1978.pdf

1.6 MB

A Theory of Type Polymorphism in Programming - Robin Milner

DOI: 10.1016/0022-0000(78)90014-4

42 views01:23

Compsci Library 📚

https://wiki.aalto.fi/display/t1065450/LLVM+SSA

58 views02:08

Compsci Library 📚

Forwarded from Muqiu Han

yeah i just started learning coq...with software foundations

https://softwarefoundations.cis.upenn.edu/

60 views04:34

Compsci Library 📚

https://blog.sunfishcode.online/no-ghosts/

sunfishcode's blog

No Ghosts!

A blog by sunfishcode

57 views13:10

Compsci Library 📚

https://gist.github.com/zehnpaard/124a9c6df632839d01b4fede8684ddd8

Gist

OCaml template for menhir/ocamllex/dune indentation-aware parser

OCaml template for menhir/ocamllex/dune indentation-aware parser - dune

55 views08:56

Compsci Library 📚

https://github.com/arbipher/llvm-ocaml-tutorial

GitHub

GitHub - arbipher/llvm-ocaml-tutorial: The LLVM tutorial using OCaml

The LLVM tutorial using OCaml. Contribute to arbipher/llvm-ocaml-tutorial development by creating an account on GitHub.

55 views01:45

Compsci Library 📚

https://releases.llvm.org/8.0.0/docs/tutorial/index.html

55 views01:46

Compsci Library 📚

https://github.com/banach-space/llvm-tutor

GitHub

GitHub - banach-space/llvm-tutor: A collection of out-of-tree LLVM passes for teaching and learning

A collection of out-of-tree LLVM passes for teaching and learning - banach-space/llvm-tutor

55 views00:29

Compsci Library 📚

https://www.kharghoshal.xyz/blog/writing-machinefunctionpass

www.kharghoshal.xyz

Radhika Ghosal | Writing a MachineFunctionPass in LLVM

Log files of a fledgling maker

56 views00:33

Compsci Library 📚

PLAI Version 3.2.0 electronic.pdf

3.9 MB

Emailing PLAI Version 3.2.0 electronic.pdf

59 views00:04

Compsci Library 📚

https://www.plai.org/

56 views00:04

Compsci Library 📚

https://raw.githubusercontent.com/mukul-rathi/bolt-dissertation/master/dissertation.pdf

56 views12:41

Compsci Library 📚

https://thevaluable.dev/type-system-software-explained-example/

The Valuable Dev

Type Systems in Software Explained With Examples

Type systems are core components of programming languages. What really means the rich vocabulary around type systems? Is there a better one which rules them all?

62 views13:55

Compsci Library 📚

https://en.wikipedia.org/wiki/Abstract_machine

Wikipedia

Abstract machine

theoretical model of a computer hardware or software system used in automata theory

65 views05:13

Compsci Library 📚

https://www.mog.dog/files/SP2019/Sipser_Introduction.to.the.Theory.of.Computation.3E.pdf

68 views05:26

About

Blog

Apps

Platform