Uni-Logo

Papers

  • [Agda-Haskell*] Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, and Ulf Norell. 2022. Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. In Proceedings of the 15th ACM SIGPLAN International Haskell Symposium (Haskell 2022). Association for Computing Machinery, New York, NY, USA, 108-122. doi: 10.1145/3546189.3549920
  • [Haskell*] HINZE, R., & RUNCIMAN, C. (2022). Super-naturals. Journal of Functional Programming, 32, E5. doi:10.1017/S0956796822000028
  • [Types**] PRUIKSMA, K., & PFENNING, F. (2022). Back to futures. Journal of Functional Programming, 32, E6. doi:10.1017/S0956796822000016
  • [Agda***] VEZZOSI, A., MÖRTBERG, A., & ABEL, A. (2021). Cubical Agda: A dependently typed programming language with univalence and higher inductive types. Journal of Functional Programming, 31, E8. doi:10.1017/S0956796821000034
  • [Types**] YANG, Y., & OLIVEIRA, B. (2019). Pure iso-type systems. Journal of Functional Programming, 29, E14. doi:10.1017/S0956796819000108
  • [Types*-**] Skorstengard, Lau. An Introduction to Logical Relations. weblink (Notes of a tutorial by Amal Ahmed)
  • [Types*] Thorsten Altenkirch, Nils Anders Danielsson, Andres Löh, Nicolas Oury. PiSigma: Dependent Types without the Sugar. FLOPS 2010: pp 40-55. DOI: 10.1007/978-3-642-12251-4_5
  • [Semantics*] John Clements, Shriram Krishnamurthi. Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up. ICER '22: Proceedings of the 2022 ACM Conference on International Computing Education Research. August 2022. pp 206-222 Doi: 10.1145/3501385.3543961
  • [Types**-***] OLIVIER DANVY, MORTEN RHIGER, and KRISTOFFER H. ROSE. Normalization by evaluation with typed abstract syntax. Journal of Functional Programming , Volume 11 , Issue 6 , November 2001 , pp. 673 - 680. DOI
  • [Types*] Cyrus Omar, Ian Voysey, Michael Hilton, Jonathan Aldrich, Matthew A. Hammer. Hazelnut: A Bidirectionally Typed Structure Editor Calculus. POPL 2017: 86-99. arxiv
  • [Scala*] Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki: Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. 2(POPL): 42:1-42:29 (2018) doi: 10.1145/3158130

Assigned Papers

  1. [Semantics*] Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida: Featherweight Go. Proc. ACM Program. Lang. 4(OOPSLA): 149:1-149:29 (2020) doi: 10.1145/3428217
  2. [Semantics*-**] Martin Odersky, Philip Wadler, Martin Wehr: A Second Look at Overloading. FPCA 1995: 135-146 doi: 10.1145/224164.224195
  3. [Scala*-**] Anxhelo Xhebraj, Oliver Bracevac, Guannan Wei, Tiark Rompf. What If We Don't Pop the Stack? The Return of 2nd-Class Values. ECOOP 2022: 15:1-15:29 doi: 10.4230/LIPIcs.ECOOP.2022.15
  4. [Types*-**]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler: Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001) doi: 10.1145/503502.503505
  5. [General*] Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen. Repairing Bugs in Python Assignments Using Large Language Models. arxiv
  6. [Agda*] SWIERSTRA, W. (2022). A well-known representation of monoids and its application to the function `vector reverse'. Journal of Functional Programming, 32, E10. doi:10.1017/S0956796822000065
  7. [General*] Lukas Diekmann and Laurence Tratt. Eco: A Language Composition Editor. SLE 2014: 82-101. link
  8. [Lambda*] KISELYOV, O. (2020). Many more predecessors: A representation workout. Journal of Functional Programming, 30, E7. doi:10.1017/S095679682000009X
  9. [Types*] Andres Löh, Conor McBride, Wouter Swierstra: A Tutorial Implementation of a Dependently Typed Lambda Calculus. Fundam. Informaticae 102(2): 177-207 (2010)
  10. [Semantics*] Gibbs Politz, Joe, et al. (2013). Python: The Full Monty. OOPSLA 2013. pp 217--232. doi:10.1145/2509136.2509536
  11. Functional vs. Imperative Programming for Digital Signal Processing
  12. [Scala**] Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, Yannis Smaragdakis: Stream fusion, to completeness. POPL 2017: 285-299 doi: 10.1145/3009837.3009880
  13. [Semantics*] Andrea Capriccioli, Marco Servetto, Elena Zucca: An Imperative Pure Calculus. Electron. Notes Theor. Comput. Sci. 322: pp 87-102 (2016)
  14. [Types*] David Walker: Substructural Type Systems. In: Benjamin Pierce (ed.), Advanced Topics in Types and Programming Languages.
  15. [General*] Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew W. Fitzgibbon, Simon Peyton Jones: Hashing modulo alpha-equivalence. PLDI 2021: 960-973 arxiv ref

Last modified: Wed Oct 13 13:20:28 CEST 2021