Paul Hudak
Artificial Intelligence · 1991–2007
A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 7 citations into it
Whom Paul Hudak trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Paul Hudak's perspective
Ordered by how strongly the researchers Paul Hudak trusts endorse each paper. Same corpus, a different order for every researcher.
- de Bruijn notation as a nested datatype
- Purely functional data structures
- Composable memory transactions (ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming)
- 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)
- Generalising monads to arrows (Science of Computer Programming)
- QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
- Literate Programming
- Python Reference Manual
Their papers
- A history of Haskell: being lazy with class (2007) — 342 citations
- Revised4 report on the algorithmic language scheme (1991)