Compsci Library 📚

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

Compsci Library 📚

https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf

64 views02:59

Compsci Library 📚

https://lowlevelbits.org/how-to-learn-compilers-llvm-edition/

lowlevelbits.org

How to learn compilers: LLVM Edition

A collection of resources to start learning compilers (with a focus on LLVM)

64 views03:34

Compsci Library 📚

https://www.compileralchemy.com/books/sqlite-internals/

Compileralchemy

SQLite Internals: How The World's Most Used Database Works

Python, Freelancing, Career & OpenSource

62 views02:12

Compsci Library 📚

Forwarded from epic links / resources (kλletaa)

1710.09756.pdf

1.1 MB

Linear Haskell: practical linearity in a higher-order polymorphic language

https://arxiv.org/abs/1710.09756

63 views03:11

About

Blog

Apps

Platform