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  video  youtube.com  show  release  apple  go  techcrunch.com  javascript  web  nature.com  arstechnica.com  eurekalert.org  security  trump  nytimes.com 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

We could write nearly perfect software but we choose not to

51 days ago blog.inf.ed.ac.uk

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

The Cognitive Style of Power Point (2003)

3 years ago inf.ed.ac.uk

Statecharts: A Visual Formalism for Complex Systems (1987)

3 years ago 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

The Cognitive Style of PowerPoint (2006)

6 years ago inf.ed.ac.uk

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

Interactive Theorem Proving in Industry (2012)

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

Java Memory Model Examples: Good, Bad and Ugly (2007)

8 years ago groups.inf.ed.ac.uk java

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

More →