- Sealing Pointer-Based Optimizations behind Pure Functions Daniel Selsam Simon Hudon Leonardo de Moura Tue 04 August 2020
- Functional Programming for Modular Bayesian Inference Adam Ścibior Ohad Kammar Zoubin Ghahramani Mon 14 October 2019
- Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami Sun 30 April 2017
- Why Functional Programming Matters J. Hughes Tue 11 April 2017
- Learning Nominal Automata Joshua Moerman Matteo Sammartino Alexandra Silva Bartek Klin Michał Szynwelski Fri 31 March 2017
- What Sequential Games, the Tychonoff Theorem and the Double-negation Shift Have in Common Martín Escardó Paulo Oliva Tue 28 March 2017
- Computing with Capsules Jean-Baptiste Jeannin Dexter Kozen Sat 01 March 2014
- Recursion Schemes from Comonads Tarmo Uustalu Varmo Vene Alberto Pardo Wed 29 January 2014
- Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Mon 09 December 2013
- Can Programming Be Liberated from the Von Neumann Style: A Functional Style and Its Algebra of Programs John Backus Mon 09 December 2013
- A systematic study of functional language implementations Rémi Douence Pascal Fradet Wed 26 June 2013
- Call with Current Continuation Patterns Darrell Ferguson Dwight Deugo Fri 01 March 2013
- How to make ad-hoc polymorphism less ad hoc P. Wadler S. Blott Wed 30 January 2013
- Bisimilarity as a Theory of Functional Programming Andrew D. Gordon Wed 30 January 2013
- Notions of computation and monads Eugenio Moggi Wed 30 January 2013
- A Survey of Functional Reactive Programming Edward Amsden Tue 29 January 2013
- Theorems for free Philip Wadler Fri 14 December 2012
Library Size: 13G (17 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
