Thomas A. 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 Thomas A. Nielsen trusts
Their strongest outbound trust, strongest first, inferred from their citations.
- John Hughes (in Artificial Intelligence)
Papers from Thomas A. Nielsen's perspective
Ordered by how strongly the researchers Thomas A. Nielsen 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