The Curious Engineer

All blogs / Functional / PL theory

Jon Sterling

jonmsterling.com/jonmsterling

Associate Professor in Logical Foundations and Formal Methods at University of Cambridge. Formerly a Marie Skłodowska-Curie Postdoctoral Fellow hosted at…

Functional / PL theoryMath

’18’19’20’21’22’23’24’25’26
Posts
73 from 7 Jul 2018 to 10 Oct 2026
Posting
monthly (8 in the last year)
Kind
personal blog

2026 8

  1. Andrew Slattery
  2. Raphaël Sterbac
  3. [slattery-sterling-2026-elaborators]
  4. Mathematical Structures in Computer Science
  5. Daniel Gratzer
  6. Grodin niu sterling harper 2024
  7. Fredrik Bakke
  8. [sterling-2024-lenses]

2025 5

  1. HoTTEST
  2. Lingyuan Ye
  3. Leoni Pugh
  4. LICS ’25: 40th Annual ACM/IEEE Symposium on Logic in Computer Science
  5. Bafkyrzacicrwumkvgyinzywoaljfeixvoi426bneybit7jmzfz7olzon5mxs5dfawqnidxh6ww2fq67lkmzhkdul2zpjmahcheoku5obsgvfpa7j.pdf

2024 7

  1. Grothendieck Conference
  2. Mike Shulman
  3. Category Theory at Work in Computational Mathematics and Theoretical Informatics
  4. [sterling-2024-lifting]
  5. Yue Niu
  6. Harrison Grodin
  7. Filip Sieczkowski

2023 37

  1. Frederik Lerbjerg Aagaard
  2. Wednesday Seminar
  3. New Spaces
  4. 00A0
  5. 00A4
  6. Trebor Huang
  7. Topos Institute
  8. University of Cambridge
  9. 009H
  10. [0097]
  11. sheaf semantics of noninterference
  12. Robert Harper
  13. Aarhus University
  14. Daniele Palombi
  15. 002R
  16. 002Q
  17. 002P
  18. 002O
  19. 002X
  20. 002T
  21. Tom de Jong
  22. 002M
  23. 002K
  24. 002I
  25. 002N
  26. 002J
  27. 002F
  28. [0028]
  29. [0029]
  30. 002H
  31. pointed dcpo
  32. Martín Escardó
  33. [0021]
  34. 0LX1
  35. 001O
  36. Cambridge Computer Laboratory
  37. Bafkyrzaciaziyqunhd26q5tieuggybyejmmkeymbv2xkqqhtaxjrpx4a7q5sivxwqdhga3wfkhkzfzdzhozy3b73agmayrgb6v6pmx3bbasog3zj.pdf

2022 11

  1. Loïc Pujet
  2. Bafkyrzacibzzk72kjzv6xpfs7ylwxcnszhj2k6i25bqen4y4cvr4l36pv2ruued2rlsi7xesp6xqzxw5sfebeyny34gpalhd6nljzgwev5fxq4x7.pdf
  3. /bafkyrzacia7lpyz7u6jrlkmq5y5axv5b5zcrh5v3a2b3b5jagvkgi5ykq4vsa3bezdazjbjvjhgjs6dknmtvkecvut7mmdseb2yg5wrplncxvsut.pdf
  4. Carlo Angiuli
  5. [sterling-2022-existentials]
  6. [sterling-2022-pps]
  7. [sterling-2022-wg6]
  8. Bafkyrzacid6afmlrw5yxkcarrropqx2kfxhzlaemzgavjryphcmg4f2nuoibyvglvmpunr6qvtp4tvorpw4vcqfd6hm4l4aezbfotk6obidf5ct3.pdf
  9. Theory and Applications of Categories
  10. [sterling-2022-bilimits]
  11. Bafkyrzacibojjadbtpg66ue6acyuhfcy2pfdlrbjhic2fyypxkodvziwq22ihcat2olvirkxygvm62z5lvrotbntl34zff45yuvguirxh2af7xss.pdf

2021 4

  1. Bafkyrzacidyt4kffko3uixszsiejwab32obo5pgbhxypssdzbuetucmmaa4k67ihcwplar55gj4x3v6qexkh35spas335vi5qka7eg4zmpsbm3p5.pdf
  2. Carnegie Mellon University
  3. Bafkyrzacidlw25at5z2soye36cyo4o3whit3fc5v6ql7ed5e7ed4wx66ecivyzazfui6h3aauzdvotohsigslcgxnnqlbalk7ff3hxe3nk52ukwt.pdf
  4. Journal of Functional Programming

2018 1

  1. [redprl-2018-lfmtp]