CompSciCabal SMRTYPRTY issues

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.

The Unlicense

77 stars 10 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Create adam1.lsp

#91 adamlee001 closed 5 years ago
0
Differential Dataflow

#90 gregr opened 6 years ago
0
Call-by-Name Gradual Type Theory

#89 hzafar opened 6 years ago
0
Rethinking Supercompilation

#88 sarostru opened 6 years ago
2
Dedalus: Datalog in Time and Space

#87 gregr closed 6 years ago
2
Datafun: A Functional Datalog

#86 gregr closed 6 years ago
0
ADAPTON: Composable, DemandDriven Incremental Computation

#85 gregr opened 6 years ago
0
A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation

#84 gregr opened 6 years ago
0
The View from the Left

#83 bcdarwin opened 6 years ago
0
Is the Optimal Implementation Inefficient? Elementarily Not

#82 bcdarwin opened 6 years ago
0
Deny Capabilities for Safe, Fast Actors

#81 bcdarwin opened 6 years ago
0
A Modal Analysis of Staged Computation

#80 hzafar closed 6 years ago
1
Unification under a mixed prefix

#79 bcdarwin opened 6 years ago
0
Lambda The Ultimate Goto

#78 xtreme-james-cooper opened 7 years ago
0
State in Haskell

#77 xtreme-james-cooper opened 7 years ago
0
Compiling Haskell By Program Transformation

#76 xtreme-james-cooper opened 7 years ago
0
Pierre Landin invents the Abstract Machine, Denotational Semantics, and basically Functional Programming

#75 xtreme-james-cooper opened 7 years ago
0
Why Dependent Types Matter

#74 xtreme-james-cooper closed 6 years ago
0
Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire

#73 xtreme-james-cooper closed 6 years ago
0
Complete and easy bidirectional typechecking for higher-rank polymorphism

#72 bcdarwin opened 7 years ago
1
A Functional Correspondence between Evaluators and Abstract Machines

#71 hzafar opened 7 years ago
0
Ponyta/sicp

#70 ponyta closed 7 years ago
0
Ponyta/sicp

#69 ponyta closed 7 years ago
0
Selective strictness and parametricity in structural operational semantics, inequationally

#68 bcdarwin closed 6 years ago
0
Abstract interpretation based formal methods and future challenges

#67 bcdarwin closed 7 years ago
1
Satisfiability modulo theories: an appetizer

#66 bcdarwin opened 7 years ago
0
PICOBIT: A Compact Scheme System for Microcontrollers

#65 hzafar closed 6 years ago
1
SICP solutions for 2.2

#64 ponyta closed 7 years ago
0
Supercompilation: Ideas and Methods

#63 gregr closed 7 years ago
0
Semi-Indexing Semi-Structured Data in Tiny Space

#62 pbevin opened 7 years ago
0
Hygienic Resugaring of Compositional Desugaring

#61 hzafar closed 7 years ago
1
Julia: A Fast Dynamic Language for Technical Computing

#60 Erik-J-D opened 7 years ago
0
Modelling Homogeneous Generative Meta-Programming

#59 bcdarwin opened 7 years ago
0
The universality and expressiveness of fold

#58 pbevin opened 7 years ago
0
Fast and Loose Reasoning is Morally Correct

#57 pbevin closed 6 years ago
1
Growing a Language, Guy Steele

#56 pbevin opened 7 years ago
0
Supercompilation by Evaluation

#55 jrootham closed 7 years ago
1
Summaries for Context-Free Games

#54 hzafar closed 7 years ago
0
Hazelnut: A Bidirectionally Typed Structure Editor Calculus

#53 hzafar closed 6 years ago
0
Breaking through the normalization barrier: a self-interpreter for F-omega

#52 bcdarwin closed 7 years ago
0
Dependent Types and Multi-monadic Effects in F⋆

#51 bcdarwin opened 7 years ago
0
World of Simple Programs: Chapter 3 of A New Kind of Science

#50 sarostru opened 7 years ago
0
Software Engineering Economics

#49 jrootham opened 7 years ago
0
Stigmergic construction and topochemical information shape ant nest architecture

#48 Erik-J-D opened 7 years ago
0
Phonotactic Reconstruction of Encrypted VoIP Conversations: Hookt on fon-iks

#47 Erik-J-D opened 7 years ago
0
Neural Turing Machines

#46 sarostru opened 7 years ago
0
The Imitation Game

#45 sarostru closed 7 years ago
0
A judgemental reconstruction of modal logic

#44 bcdarwin closed 6 years ago
0
A unifying view of linear-time suffix tree construction

#43 bcdarwin opened 7 years ago
0
Auctions and Bidding

#42 jrootham opened 7 years ago
0