Hacker News
- Why Functional Programming Matters [pdf] https://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf 2 comments
- Some Were Meant For C (2017) [pdf] https://www.cs.kent.ac.uk/people/staff/srk21/research/papers/kell17some-preprint.pdf 186 comments
- Postdoc Myths https://www.cs.kent.ac.uk/people/staff/srk21/blog/2019/12/02/#postdoc-myths 69 comments
- The Inevitable Death of VMs: A Progress Report [pdf] https://www.cs.kent.ac.uk/people/staff/srk21/research/papers/kell18inevitable-preprint.pdf 26 comments
- The Missing Link: Explaining ELF Static Linking, Semantically [pdf] https://www.cs.kent.ac.uk/people/staff/srk21/research/papers/kell16missing-preprint.pdf 2 comments
- The C11 and C++11 Concurrency Model (2014) [pdf] https://www.cs.kent.ac.uk/people/staff/mjb211/toc.pdf 12 comments
- Wadler's critique of SICP (1987) http://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf 50 comments
Lobsters
- Some Were Meant for C https://www.cs.kent.ac.uk/people/staff/srk21/research/papers/kell17some-preprint.pdf 61 comments c , pdf , plt
- Software against humanity? An Illichian perspective on the industrial era of software https://www.cs.kent.ac.uk/people/staff/srk21/research/talks/kell19software-slides.pdf 8 comments pdf , programming , slides
- Some Were Meant for C: The Endurance of an Unmanageable Language https://www.cs.kent.ac.uk/people/staff/srk21/research/papers/kell17some-preprint.pdf 5 comments c , pdf
- Type Theory and Functional Programming (1999) https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 2 comments book , formalmethods , pdf , programming
- Miranda has been released as free software, its source code is now public https://www.cs.kent.ac.uk/people/staff/dat/miranda/ 7 comments coding
- Miranda, a forerunner to Haskell, has been released as free software [x-post from r/ProgrammingLanguages] https://www.cs.kent.ac.uk/people/staff/dat/miranda/ 24 comments haskell
- Communicating Sequential Processes in Java? https://www.cs.kent.ac.uk/projects/ofa/jcsp/ 6 comments java
- A critique of Abelson and Sussman -or- Why calculating is better than scheming https://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf 4 comments programming
- The C11 and C++11 Concurrency Model (2014) [pdf] https://www.cs.kent.ac.uk/people/staff/mjb211/toc.pdf 11 comments programming
- Type Theory: Equality (I(A,a,b)) https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 11 comments compsci
- Type Theory: ⇒ https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 6 comments math
- Why Functional Programming Matters http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf 61 comments programming
- Question about "Type Theory & Functional Programming" https://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ttfp.pdf 17 comments haskell
- Android support through Vital? http://www.cs.kent.ac.uk/projects/vital/ 8 comments haskell
- Before we all get too excited with Lisp, I suggest we all (re) read this old gem [PDF] http://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf 83 comments programming
- Annotated slides: Comparing Dynamic and Static Language Approaches to Web Frameworks (Rails vs Yesod) http://www.cs.kent.ac.uk/~nccb/rails-yesod-slides.pdf 11 comments haskell
- Type Theory and Functional Programming (1991) http://www.cs.kent.ac.uk/people/staff/sjt/ttfp/ 2 comments compsci
- Church's Thesis and Functional Programming (PDF) http://www.cs.kent.ac.uk/people/staff/dat/miranda/ctfp.pdf 6 comments compsci
- A critique of Abelson and Sussman - or - Why calculating is better than scheming (PDF) http://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf 11 comments lisp
- Numerical integration with accelerated convergence in a few lines of Haskell - and other lazy functional programming gems (PDF) http://www.cs.kent.ac.uk/people/staff/dat/miranda/whyfp90.pdf 3 comments programming
- C++CSP2 -- Easy Concurrency for C++ -- Processes, Channels, ... http://www.cs.kent.ac.uk/projects/ofa/c++csp/ 3 comments cpp
- Where do I begin? A problem solving approach to teaching functional programming (based on Polya's 'How To Solve It') http://www.cs.kent.ac.uk/pubs/1997/208/ 4 comments programming
- Vim as a Haskell IDE, first steps http://www.cs.kent.ac.uk/people/staff/cr3/toolbox/haskell/vim/vim.html 17 comments programming
- Wrangler - An Erlang Refactorer for Emacs http://www.cs.kent.ac.uk/projects/forse/wrangler/doc-0.2/index.html 4 comments programming
- Vital - A Document-Centric Haskell Implementation in Java (with Web Start) http://www.cs.kent.ac.uk/projects/vital?didntgetmuchpubayearago 6 comments programming
- Higher-order + Polymorphic = Reusable (.ps.gz) http://www.cs.kent.ac.uk/pubs/1997/224/content.ps.gz 21 comments programming
- A critique of Abelson and Sussman or why calculating is better than scheming http://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf 86 comments programming
Lambda the Ultimate
- A bit of Scheming http://www.cs.kent.ac.uk/people/staff/dat/miranda/wadler87.pdf 21 comments Functional , Teaching & Learning , Type Theory
- Church’s Thesis and Functional Programming http://www.cs.kent.ac.uk/people/staff/dat/miranda/ctfp.pdf 10 comments Theory
- Interactive Haskell Documents http://www.cs.kent.ac.uk/projects/pivotal/ 2 comments Functional
- Functional and Declarative Programming in Education (FDPE05) http://www.cs.kent.ac.uk/people/staff/sjt/fdpe05/ 0 comments Teaching & Learning
- HaRe -- The Haskell Refactorer http://www.cs.kent.ac.uk/projects/refactor-fp/hare.html 2 comments functional
- FAD - A Functional Analysis and Design Methodology http://www.cs.kent.ac.uk/pubs/2001/1152/index.html 4 comments Software-Eng