Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  youtube.com  show  video  release  javascript  apple  web  techcrunch.com  go  eurekalert.org  nature.com  security  trump  arstechnica.com  nytimes.com 

Finding the orientation that two objects will fit within each other

3 months ago homepages.inf.ed.ac.uk

The Discoveries of Continuation

2 years ago homepages.inf.ed.ac.uk

Monads for functional programming

4 years ago homepages.inf.ed.ac.uk

FreezeML: Complete and Easy Type Inference for First-Class Polymorphism

4 years ago homepages.inf.ed.ac.uk

A Theory of Type Polymorphism in Programming (1977)

5 years ago homepages.inf.ed.ac.uk

Compiler Fuzzing Through Deep Learning

5 years ago homepages.inf.ed.ac.uk compiler

A Taste of Linear Logic

6 years ago homepages.inf.ed.ac.uk

Compiler Fuzzing through Deep Learning

6 years ago homepages.inf.ed.ac.uk compiler

The Lambda Calculus: Practice and Principle

6 years ago homepages.inf.ed.ac.uk lambda

Monads for functional programming (1995)

6 years ago homepages.inf.ed.ac.uk

Heap Bounded Assembly Language (2002)

6 years ago homepages.inf.ed.ac.uk

The Next 700 Programming Languages (1965)

6 years ago homepages.inf.ed.ac.uk

Monads for functional programming

6 years ago homepages.inf.ed.ac.uk

Simplicity and Michelson

6 years ago homepages.inf.ed.ac.uk

Expressive Power of SQL (2003)

7 years ago homepages.inf.ed.ac.uk sql

Proofs are Programs – 19th Century Logic and 21st Century Computing (2000)

7 years ago homepages.inf.ed.ac.uk

Do Be Do Be Do

7 years ago homepages.inf.ed.ac.uk

Spreadsheet Programming with User Defined Types and Functions

7 years ago homepages.inf.ed.ac.uk

NASA C Style Guide

8 years ago homepages.inf.ed.ac.uk c nasa

Proposition as Types

8 years ago homepages.inf.ed.ac.uk

Propositions as Types (2014)

9 years ago homepages.inf.ed.ac.uk

Propositions as Types

9 years ago homepages.inf.ed.ac.uk

Functional Programming in the Real World

9 years ago homepages.inf.ed.ac.uk

History of logic and programming languages

9 years ago homepages.inf.ed.ac.uk

The Implicit Calculus: A New Foundation for Generic Programming [pdf]

10 years ago homepages.inf.ed.ac.uk pdf

The Researcher's Bible

10 years ago homepages.inf.ed.ac.uk

Basics of Machine Learning

10 years ago homepages.inf.ed.ac.uk