Abstract is missing.
- Total Functional Software Engineering - Overview PaperBaltasar Trancón-y-Widemann. 1-16 [doi]
- Using Rewriting to Synthesize Functional Languages to Digital CircuitsChristiaan Baaij, Jan Kuper. 17-33 [doi]
- Distributed PlacesKevin Tew, James Swaine, Matthew Flatt, Robby Findler, Peter A. Dinda. 34-57 [doi]
- Bytecode and Memoized Closure PerformanceMarco T. Morazán. 58-75 [doi]
- Towards Efficient Abstractions for Concurrent ConsensusCarlo Spaccasassi, Vasileios Koutavas. 76-90 [doi]
- Blame PredictionDries Harnie, Christophe Scholliers, Wolfgang De Meuter. 91-106 [doi]
- Model-Based Shrinking for State-Based TestingPieter W. M. Koopman, Peter Achten, Rinus Plasmeijer. 107-124 [doi]
- Control-Flow Analysis with SAT SolversSteven Lyde, Matthew Might. 125-133 [doi]
- A Survey of Polyvariance in Abstract InterpretationsThomas Gilray, Matthew Might. 134-148 [doi]
- Functional Video Games in CS1 III - Distributed Programming for BeginnersMarco T. Morazán. 149-167 [doi]