WebSideBar | 14 Oct 2012 - 18:46 - r17 | Main.JoaoFernandes |
WebHome | 14 Oct 2012 - 18:42 - r83 | Main.JoaoFernandes |
Name: João Paulo Fernandes Email: jpaulo AT di DOT uminho DOT pt Address: Departamento de Informática, ... |
--TwikiJoaoTalks | 24 Sep 2012 - 14:02 - r2 | Main.JoaoFernandes |
I have: coordinated the Software Technologies and Software Languages Summer School (working group on data driven technological spaces, with a contributed http ... |
--TwikiJoaoActivities | 20 Sep 2012 - 09:39 - r11 | Main.JoaoFernandes |
Activities: I have served/will serve: in the Program Comittee for the following conferences: 22nd ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ... |
--TwikiJoaoPublications | 20 Sep 2012 - 09:24 - r64 | Main.JoaoFernandes |
Publications 2012 and Implementation of ClassSheet Models , Jácome Cunha, João Paulo Fernandes, Jorge Mendes, João Saraiva. In the Proceedings of the IEEE Symposium ... |
--TwikiJoaoSupervision | 10 Sep 2012 - 20:47 - r2 | Main.JoaoFernandes |
Supervision: Together with Saraiva I co supervise the PhD program of Msc. Martins with title Zippers based embedding of Attribute Grammars . |
--TwikiJoaoProjects | 21 Jun 2012 - 11:20 - r5 | Main.JoaoFernandes |
Research Projects: Foundations, Applications and Tools for Bidirectional Transformations, FCT funded, 2011 ... Bidirectional Transformations Applied to Programming ... |
--TwikiJoaoAwards | 22 Sep 2011 - 13:31 - r5 | Main.JoaoFernandes |
Awards and Distinctions 99/00 , 00/01 , 01/02 , 02/03 University of Minho 's Scholar Merit Award Awarded by the University of Minho to students that ... |
MenuTopics | 10 Dec 2010 - 15:24 - r13 | Main.JoaoFernandes |
http://wiki.di.uminho.pt/wiki/bin/view/PURe/WebHome PURe project Publications Projects Tools Awards and Distinctions |
Point | 16 Dec 2009 - 20:27 - NEW | Main.JoaoFernandes |
--TwikiJoaoHaCirc | 02 Sep 2009 - 17:38 - r15 | Main.JoaoFernandes |
The HaCirc tool HaCirc is an Haskell refactor. It refactors circular programs into its strict counterpart. The tool accepts, as input, Haskell circular programs ... |
--TwikiJoaoOCirc | 19 Feb 2009 - 11:45 - r12 | Main.JoaoFernandes |
The OCirc tool The OCirc tool is a tool that allows OCaml programmers to express their multiple traversal programs as circular programs. This tool transforms circular ... |
--TwikiJoaoOthers | 18 Dec 2008 - 16:10 - r4 | Main.JoaoFernandes |
Other Interests As for recreation, my main sport hobbies are: indoor soccer waterpolo jogging swimming As for cultural enhancement, I just wish ... |
--TwikiJoaoHaGLR | 05 Dec 2008 - 11:57 - r8 | Main.JoaoFernandes |
The HaGLR tool During my degree internship I was to study, among other things, Parser techniques and algorithms. Under this goal, we (me and my internship supervisor ... |
--TwikiJoaoTools | 05 Dec 2008 - 11:56 - r8 | Main.JoaoFernandes |
HaGLR A Haskell based Generalized LR Parser Generator and Grammar Interpreter HaCirc Strictification and Slicing of lazy Circular Haskell Programs OCirc ... |
--TwikiJoaoTemp | 25 Sep 2008 - 17:58 - NEW | Main.JoaoFernandes |
JoaoFernandes 25 Sep 2008 JoaoFernandesCV.pdf: Curriculum Vitae proposal.pdf: PosDocProposal |
WebPreferences | 18 May 2007 - 23:28 - r12 | Main.JoaoFernandes |
Personal/Joao Web Preferences The following settings are web preferences of the Personal/Joao web. These preferences overwrite the site level preferences in ... |
--TWikiJoaoPhDProgram | 18 May 2007 - 23:03 - r2 | Main.JoaoFernandes |
PhD Program Three years ago I started working on my PhD project, under FCT's grant SFRH/BD/19186/2004 . I've been working under the supervision of João Saraiva (University ... |
CircularProgramming | 28 Feb 2007 - 11:08 - r12 | Main.JoaoFernandes |
Circular Functional Programming Circular Programs were first proposed by Richard Bird as an elegant and efficient technique to eliminate multiple traversal of data ... |
Benchs | 12 Feb 2007 - 19:41 - r2 | Main.JoseBacelarAlmeida |
Circular program Strict program Deforested program |
--TwikiJoaoCircLib | 12 Feb 2007 - 19:41 - r6 | Main.JoseBacelarAlmeida |
The CircLib library The CircLib library is a Haskell based library that implements the schedulling of circular definitions. This library implements an adaptation ... |
WebStatistics | 11 Feb 2007 - 13:25 - r324 | Main.TWikiGuest |
Statistics for Personal/Joao Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... |
CircularPrograms | 05 Jun 2006 - 17:50 - NEW | Main.JoaoFernandes |
Circular Programs Circular Programs were first proposed by Richard Bird as an elegant and efficient technique to eliminate multiple traversal of data structures. As ... |
--TwikiJoaoIncremental | 27 Apr 2005 - 10:13 - r2 | Main.JoaoFernandes |
Incremental Spreadsheet Interpreter One of my major research interest subjects is Adaptive and Incremental computation. An adaptive computation maintains the relationship ... |
--TWikiJoaoWork | 18 Apr 2005 - 15:05 - NEW | Main.JoaoFernandes |
This topic will hold mt related work topics |
WebNotify | 28 Aug 2004 - 07:30 - r4 | Main.PeterThoeny |
This is a subscription service to be automatically notified by e mail when topics change in this Personal/Joao web. This is a convenient service, so you do not have ... |
WebRss | 16 Aug 2004 - 03:27 - r2 | Main.PeterThoeny |
TWiki's Personal/Joao web /view/Personal/Joao The Personal/Joao web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World. |
WebSearchAdvanced | 18 Jan 2004 - 10:52 - NEW | Main.PeterThoeny |
WebIndex | 24 Nov 2001 - 11:41 - r2 | Main.PeterThoeny |
See also the faster WebTopicList |
WebTopicList | 24 Nov 2001 - 11:40 - NEW | Main.PeterThoeny |
See also the verbose WebIndex. |
WebChanges | 16 Aug 2001 - 19:58 - NEW | Main.PeterThoeny |
WebSearch | 08 Aug 2001 - 05:26 - NEW | Main.PeterThoeny |