Henrik Nilsson
with Nielsen · 2014
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Henrik Nilsson trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Henrik Nilsson's perspective
Ordered by how strongly the researchers Henrik Nilsson trusts endorse each paper. Same corpus, a different order for every researcher.
- Generalising monads to arrows (Science of Computer Programming)
- de Bruijn notation as a nested datatype
- Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
- Executing a Program on the MIT Tagged-Token Dataflow Architecture
- Packrat parsing:: simple, powerful, lazy, linear time, functional pearl (ACM SIGPLAN International Conference on Functional Programming)
- Purely functional data structures
- QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
- Literate Programming
- Python Reference Manual
- Composable memory transactions (ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming)
Their papers
- Declarative modelling for Bayesian inference by shallow embedding (2014) — 6 citations