Curry click router

[J Guadalupe Ramos Díaz]

Recently i have arrived to Spain, i want to make a work related to
click.
 
The group where I’ll work is the MIST (Multi-paradigm Software
Tehcnology) of Universidad Politécnica de Valencia. Leader is Germán
Vidal.
 
I am studying a program doctoral, I intent develop a set of instructions
to add to declarative programa (Curry, that includes the two declarative
paradigms: functional and logic) In order to specify routers.
 
Curry is a declarative paradigm with strong mathematical foundations,
that is good to verification.  Do you know Haskell, prolog, curry?
 
My interest is write a click router in Curry language, to run
verification tools. 
 
Are there any people working click in a real declarative language? 
 
Thank you
-------------- next part --------------
<!-- /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-parent:""; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:"Times New Roman";} a:link, span.MsoHyperlink {color:blue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {color:purple; text-decoration:underline; text-underline:single;} span.EstiloCorreo17 {mso-style-type:personal-compose; mso-style-noshow:yes; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt; font-family:Arial; mso-ascii-font-family:Arial; mso-hansi-font-family:Arial; mso-bidi-font-family:Arial; color:windowtext;} span.SpellE {mso-style-name:""; mso-spl-e:yes;} span.GramE {mso-style-name:""; mso-gram-e:yes;} @page Section1 {size:595.3pt 841.9pt; margin:70.85pt 3.0cm 70.85pt 3.0cm; mso-header-margin:35.4pt; mso-footer-margin:35.4pt; mso-paper-source:0;} div.Section1 {page:Section1;} -->
Recently
i
have arrived to
Spain
,
i
want to make a work related to click.
 
The group where I&#8217;ll work is the MIST (Multi-paradigm Software
Tehcnology
) of Universidad
Politécnica
de Valencia. Leader is
Germán
Vidal.
 
I am studying a program doctoral, I intent develop a set of instructions to add to declarative
programa
(Curry, that includes the two declarative paradigms: functional and logic) In order to specify routers.
 
Curry is a declarative paradigm with strong mathematical
foundations, that
is good to verification.
 
Do you know Haskell,
prolog
, curry?
 
My interest is
write
a click router in Curry language, to run verification tools.
 
Are there any people working click
in a real declarative language?
 
Thank you