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-2build1_i386.deb:

pkg://cduce_0.5.0-2build1_i386.deb:3679302/ info downloads

[DIR]usr/  65535+ twin directories
209 B 2007-05-29prerm  view  1126+ mirrors
205 B 2007-05-29postinst  view  620+ mirrors
3.03 KB 2007-05-29md5sums  view  29 mirrors
1.90 KB 2007-05-29control  view  19 mirrors

Download cduce_0.5.0-2build1_i386.deb:

2008-05-26 ftp://ftp.linux.it/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-29 ftp://ftp.kfki.hu/pub/linux/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.nz.debian.org/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.uni-hannover.de/pub/mirror/linux/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.port80.se/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://130.251.19.2/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.wh2.tu-dresden.de/pub/mirrors/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-29 ftp://ftp.uni-kassel.de/Mirrors/archive.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://24.215.0.24/Ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.cs.mun.ca/pub/mirror/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://sapi.vlsm.org/.3/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://91.189.88.31/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://91.189.88.46/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.free.fr/.mirrors6/ftp.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.ccs.neu.edu/net/mirrors/archive.ubuntu.com/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.ankara.edu.tr/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.net.usf.edu/pub3/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.rz.tu-bs.de/pub/mirror/.mounts/sdc1/archive.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.phys.ttu.edu/pub/ubuntu-mirror/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.cvut.cz/mirrors/ubuntu.com/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.int-evry.fr/mirror4/ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://193.219.61.67/pub/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.uwa.edu.au/mirrors/linux/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://64.50.238.52/.1/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.crihan.fr/mirrors/archive.ubuntu.com/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://64.50.236.52/.1/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.tiscali.nl/pub/mirror/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://147.52.159.12/mirrors/linux/ubuntu/packages/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.fh-giessen.de/pub/linux/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://77.88.19.68/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://200.17.202.1/ubuntu-all/archive/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.cn.kernel.org/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.uga.edu/pub/unix/linux/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp2.sk.freebsd.org/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.lug.udel.edu/pub/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.dei.uc.pt/pub/linux/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://200.17.202.16/ubuntu-all/archive/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.tuke.sk/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-29 ftp://ftp.udc.es/mirror/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://mirrors.hpcf.upr.edu/pub/Mirrors/ubuntu/archive/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2007-05-28 ftp://ftp.mn-linux.org/linux/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://217.75.96.164/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://ftp.de.netclusive.de/pub/Linux/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://mir1.ovh.net/lv0/ftp.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://ftp.ntnu.no/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://ftp.nfsi.pt/pub/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://83.166.201.99/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://ftp.tudelft.nl/pub/Linux/archive.ubuntu.com/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://na.mirror.garr.it/pub/1/ubuntu-archive/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb
2008-05-26 ftp://ftp.nz.kernel.org/pub/ubuntu/pool/universe/c/cduce/cduce_0.5.0-2build1_i386.deb

Homepage:	-
Package version:	0.5.0-2build1
Architecture:	i386
Distribution:	Ubuntu
Filename:	cduce_0.5.0-2build1_i386.deb