Theory of computation حسب Tourlakis, George J.

Available for University of the Philippines Diliman via Wiley Online Library. Click here to access
Also available remotely for University of the Philippines Diliman via Wiley Online Library. Click here to access thru EZproxy

ICFP '12 proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming, September 9-15, 2012, Copenhagen, Denmark

Trends in functional programming 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Implementation and application of functional languages 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Implementation and application of functional languages 22nd international symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Implementation and application of functional languages 21st international symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, revised selected papers

Available for University of the Philippines Diliman via SpringerLink. Click here to access

Algorithms a functional programming approach حسب Rabhi, Fethi

Purely functional data structures حسب Okasaki, Chris

Parallel functional languages and compilers

Lazy functional languages abstract interpretation and compilation حسب Burn, Geoffrey

Click here to access thru EZproxy
Click here to access