Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
applications [2010-03-26 16:18] mh |
applications [2019-10-26 23:56] (current) mh [Applications] |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| programming paradigms, the intended applications areas of Curry cover | programming paradigms, the intended applications areas of Curry cover | ||
| the areas of languages belonging to these paradigms | the areas of languages belonging to these paradigms | ||
| - | (see, for instance, [[http://www.cs.bell-labs.com/~wadler/realworld/ | | + | (see, for instance, [[https://homepages.inf.ed.ac.uk/wadler/realworld/ | |
| real-world applications of functional programming]]). | real-world applications of functional programming]]). | ||
| Many tools for Curry are implemented in Curry | Many tools for Curry are implemented in Curry | ||
| Line 100: | Line 100: | ||
| to define the syntax of visual languages and graph completion appears to be very beneficial | to define the syntax of visual languages and graph completion appears to be very beneficial | ||
| for the realization of powerful content assist. We have connected our framework to the diagram editor generator [[http://www.unibw.de/inf2/DiaGen |DiaGen]]. More information about our graph parsers can be found at our [[http://www.unibw.de/steffen.mazanek/forschung/grappa |project website]]. | for the realization of powerful content assist. We have connected our framework to the diagram editor generator [[http://www.unibw.de/inf2/DiaGen |DiaGen]]. More information about our graph parsers can be found at our [[http://www.unibw.de/steffen.mazanek/forschung/grappa |project website]]. | ||
| + | |||
| + | |||
| ==== Module and Study Program Management ==== | ==== Module and Study Program Management ==== | ||
| Line 109: | Line 111: | ||
| The system is in use at the | The system is in use at the | ||
| [[http://www.informatik.uni-kiel.de | University of Kiel]] | [[http://www.informatik.uni-kiel.de | University of Kiel]] | ||
| - | and can be accessed [[http://www.informatik.uni-kiel.de/module | here]]. | + | and can be accessed [[http://www-ps.informatik.uni-kiel.de/~mh/studiengaenge/ | here]]. |
| The high-level libraries of Curry, e.g., for | The high-level libraries of Curry, e.g., for | ||
| [[http://www.informatik.uni-kiel.de/~mh/papers/PADL08.html | database programming]], | [[http://www.informatik.uni-kiel.de/~mh/papers/PADL08.html | database programming]], | ||
| - | [[http://www.informatik.uni-kiel.de/~mh/papers/PPDP06.html | type-safe web programming]], | + | [[http://www.informatik.uni-kiel.de/~pakcs/WUI | type-safe web programming]], |
| and [[http://www.informatik.uni-kiel.de/~mh/papers/PADL10.html | | and [[http://www.informatik.uni-kiel.de/~mh/papers/PADL10.html | | ||
| web frameworks based on ER-models]] | web frameworks based on ER-models]] | ||
