1![Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie](https://www.pdfsearch.io/img/8223b0f5d75962117fc4dc9dfd9e7895.jpg) | Add to Reading ListSource URL: www.edsko.netLanguage: English - Date: 2016-08-23 03:13:56
|
---|
2![A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev A Supercompiler for Core Haskell Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy ev](https://www.pdfsearch.io/img/429e3f804777a7ab63e7ae7f37c5a2dd.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|
3![Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu Supero: Making Haskell Faster Neil Mitchell and Colin Runciman University of York, UK, http://www.cs.york.ac.uk/~ndm Abstract. Haskell is a functional language, with features such as higher order functions and lazy evalu](https://www.pdfsearch.io/img/78413023919e607bdaf8f0c1cfd971ca.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|
4![Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany](https://www.pdfsearch.io/img/b20670da78447eccb185ca15c35dc60b.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-30 10:16:27
|
---|
5![Hammell et alFigure 3 Hammell et alFigure 3](https://www.pdfsearch.io/img/e790fdc87a7a1ede62e61b8f013aaa66.jpg) | Add to Reading ListSource URL: blackwellweb.joslin.harvard.eduLanguage: English - Date: 2009-05-08 16:15:26
|
---|
6![c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym](https://www.pdfsearch.io/img/647fbac750823c19068c2015f0b780db.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|
7![c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN](https://www.pdfsearch.io/img/46087bbb29713db2f2f2164641d6cc73.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|
8![Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg, Type Specialisation for the -calculus John Hughes Department of Computer Science, Chalmers Technical University, SGoteborg,](https://www.pdfsearch.io/img/08ed903e62d6136cfd219bbc469187b4.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:37
|
---|
9![c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN](https://www.pdfsearch.io/img/a5b0996c2782fa962edf0382bf3af61c.jpg) | Add to Reading ListSource URL: ndmitchell.comLanguage: English |
---|
10![c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym c ACM, 2009. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym](https://www.pdfsearch.io/img/db538d391f78b33f318fbf29046151c9.jpg) | Add to Reading ListSource URL: ndmitchell.comLanguage: English - Date: 2016-04-19 09:56:22
|
---|