cduce - programming language adapted to the manipulation of XML data

Some of CDuce's peculiar features: - XML objects can be manipulated as first-class citizen values: elements, sequences, tags, characters and strings, attribute sets; sequences of XML elements can be specified by regular expressions, which also apply to characters strings; - functions themselves are first-class values, they can be manipulated, stored in data structure, returned by a function,...; - a powerful pattern matching operation can perform complex extractions from sequences of XML elements; - a rich type algebra, with recursive types and arbitrary boolean combinations (union, intersection, complement) allows precise definitions of data structures and XML types; general purpose types and types constructors are taken seriously (products, extensible records, arbitrary precision integers with interval constraints, Unicode characters); - polymorphism through a natural notion of subtyping, and overloaded functions with dynamic dispatch; - an highly-effective type-driven compilation schema.

CDuce is fast, functional, type-safe, and conforms to basic standards: Unicode, XML, DTD, Namespaces are fully supported, partial support of XML Schema validation is in alpha testing (and undocumented) while queries are being implemented.

Info:

Browse inside cduce_0.5.0-2+b2_i386.deb:

pkg://cduce_0.5.0-2+b2_i386.deb:3677680/ info downloads

[DIR]usr/  65535+ twin directories
209 B 2007-05-30prerm  view  1126+ mirrors
205 B 2007-05-30postinst  view  620+ mirrors
2.89 KB 2007-05-30md5sums  view  52 mirrors
1.85 KB 2007-05-30control  view  24 mirrors

Download cduce_0.5.0-2+b2_i386.deb:

2007-05-27 ftp://ftp.linux.it/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.cesca.es/mirror/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.uni-frankfurt.de/pub/Mirrors3/debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.uni-magdeburg.de/pub/mirror/linux/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://debian.lcs.mit.edu/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.kfki.hu/pub/linux/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.skynet.be/mirror1/debian.org/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.prz.rzeszow.pl/pub/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.3logic.net/.1/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.uic.nnov.ru/pub/Linux/Debian/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.wustl.edu/pub/linux/distributions/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.nz.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2008-05-25 ftp://ftp.uni-stuttgart.de/pub/mirror/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.uni-hannover.de/pub/mirror/linux/debian-mirror/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.port80.se/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.cs.iastate.edu/pub/linux/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.kulnet.kuleuven.ac.be/mirror/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.et-inf.fho-emden.de/pub/Mirrors/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.uni-koeln.de/mirrors/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://130.251.19.2/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.wh2.tu-dresden.de/pub/mirrors/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.cosy.sbg.ac.at/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.mgts.by/pub/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://24.215.0.24/Debian/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.rfc822.org/pub/mirror/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.fr.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.lf.net/pub/Mirrors/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://sapi.vlsm.org/.1/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.cl.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.mars.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://64.15.134.18/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.ps.pl/dsk0/ftp.debian.org/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp13.freebsd.org/pub/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.ankara.edu.tr/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.fi.debian.org/pub/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.nl.kernel.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.zcu.cz/pub/linux/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.sci.usq.edu.au/pub/debian/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.auckland.ac.nz/linux/dists/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.cvut.cz/mirrors/debian.org/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://161.53.160.16/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.carnet.hr/misc/.ftp.hr.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://193.219.61.67/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.uwa.edu.au/mirrors/linux/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.botik.ru/pub/linux/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.univ-savoie.fr/pub1/ftp.fr.debian.org/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb
2007-05-27 ftp://ftp.med.univ-tours.fr/debian/pool/main/c/cduce/cduce_0.5.0-2+b2_i386.deb

Homepage:	-
Package version:	0.5.0-2+b2
Architecture:	i386
Distribution:	Debian
Filename:	cduce_0.5.0-2+b2_i386.deb