@conference {CunhaPinto:04b,
	title = {Making the Point-free Calculus Less Pointless},
	booktitle = {Proceedings of the 2nd APPSEM Workshop},
	year = {2004},
	month = {April },
	pages = {178{\textendash}179},
	address = {Tallinn, Estonia},
	abstract = {<p>Functional programming is particularly well suited for equational reasoning {\textendash} referential transparency ensures that expressions in functional programs behave as ordinary expressions in mathematics. However, unstructured programming can still difficult formal treatment. As such, when John Backus proposed a new functional style of programming in his 1977 ACM Turing Award lecture, the main features were the absence of variables and the use of functional forms or combinators to combine existing functions into new functions [1]. The choice of the combinators was based not only on their programming power, but also on the power of the associated algebraic laws. Quoting Backus: {\textquotedblleft}Associated with the functional style of programming is an algebra of programs [...] This algebra can be used to transform programs and to solve equations whose {\textquotedblleft}unknowns {\textquotedblright} are programs in much the same way one transforms equations in high-school algebra{\textquotedblright}.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/alcino/files/mkpflpl.pdf},
	author = {Alcino Cunha and Jorge Sousa Pinto}
}