|
|
|
|
|
|
|
|
|
Click here
if you would like your website to be listed immediately!
|
|
|
|
|
|
|
|
|
|
University of Bologna, Italy.
keywords: types, proving, proof, matita, logic, interactive, assistant
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Roskilde University, Denmark.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ITT Industries, Inc., USA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Paris, France.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Genova, Italy.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The National Institute of Research in Computer Science, France.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Pennsylvania, USA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Henri Poincare, France.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Edinburgh, UK.
keywords: programming, java, generics, functional, xslt, xquery, xml, web, pizza, links
|
|
|
|
|
|
|
|
|
|
|
|
|
|
RMIT University, Australia.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Palo Alto Research Center, USA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Harvey Mudd College, USA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
SRI International Computer Science Laboratory, USA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
École polytechnique, France.
keywords: programming, logic, theory, proof, prolog, methods, lolli, linear, lambda, forum
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University Nancy, France.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Villanova University, USA.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Belgrade, Yugoslavia.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Göteborg, Sweden.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Carnegie Mellon University, USA.
keywords: programming, type, twelf, theory, science, languages, functional, frameworks, elf, deduction
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Cambridge, UK.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Cambridge, UK.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
University of Udine, Italy.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Oxford University Computing Laboratory, UK.
keywords: $keywords-body$
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Oxford University Computing Laboratory, UK.
keywords: $keywords-body$
|
|
|
|
|
|
|
|
|
Shrink
|
|
|
|
|
|
|
|
