aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--cards.yaml69
1 files changed, 69 insertions, 0 deletions
diff --git a/cards.yaml b/cards.yaml
index 799420e..f7549b0 100644
--- a/cards.yaml
+++ b/cards.yaml
@@ -391,3 +391,72 @@ munihac2020:
- using indecipherable, non-standard notation to hide a dodgy proof
- wearing a T-shirt with a Linux joke
- a slide deck entirely in Comic Sans
+
+cspapers:
+ black:
+ - 'CS paper: _ is morally correct'
+ - 'CS paper: _ a la carte'
+ - 'CS paper: A quick look at _'
+ - 'CS paper: Compiling without _'
+ - 'CS paper: Scrap your _ A practical approach to _'
+ - 'CS paper: The history of _: being lazy with _'
+ - 'CS paper: Faster laziness using _'
+ - 'CS paper: Towards _ for Haskell'
+ - 'CS paper: Asynchronous _ in Haskell'
+ - 'CS paper: Sound and Decidable Type Inference for _'
+ - 'CS paper: A monadic framework for _'
+ - 'CS paper: Associated types for _'
+ - 'CS paper: _ for arbitrary-rank types'
+ - 'CS paper: practical type inference for _'
+ - 'CS paper: _: a fast evaluation strategy for _'
+ - 'CS paper: _: a retrospective on Haskell'
+ - 'CS paper: Lexically scoped _'
+ - 'CS paper: _ for Haskell'
+ - 'CS paper: Tackling the awkward squad: _ in Haskell'
+ - 'CS paper: Composing contracts: an adventure in _'
+ - 'CS paper: A Semantics for _'
+ - 'CS paper: Algorithm + Strategy = _'
+ - 'CS paper: Generational garbage collection for _'
+ - 'CS paper: A static semantics for _'
+ - 'CS paper: _ as first class citizens'
+ - 'CS paper: Arbitrary precision arithmetic using _'
+ - 'CS paper: _ using continued fractions'
+ - 'CS paper: An investigation of the relative efficiencies of _ and _'
+ - 'CS paper: Kind inference for _'
+ - 'CS paper: A role for dependent types in _'
+ - 'CS paper: Type variables in _'
+ - 'CS paper: Safe, zero-cost coercions for _'
+ - 'CS paper: A reflection on _'
+
+ white:
+ - fast and loose reasoning
+ - build systems
+ - a Hoare triple
+ - GOTO
+ - impredicativity
+ - boilerplate
+ - generic programming with Haskell
+ - practical type inference
+ - arbitrary-rank types
+ - delimited continuations
+ - functional dependencies
+ - optimistic evaluation
+ - non-strict programs
+ - wearing the hair shirt
+ - template meta-programming
+ - type variables
+ - first class modules
+ - object-oriented style overloading
+ - monadic input/output
+ - concurrency
+ - exceptions
+ - foreign-language calls
+ - financial engineering
+ - imprecise exceptions
+ - parallelism
+ - unboxed values
+ - continued fractions
+ - arbitrary precision arithmetic
+ - combinators
+ - lambda expressions
+ - datatypes