cduce - programming language adapted to the manipulation of XML data

Some of CDuce 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.4.1-1build2_i386.deb:

pkg://cduce_0.4.1-1build2_i386.deb:3416288/ info downloads

[DIR]usr/  65535+ twin directories
209 B 2006-07-05prerm  view  1126+ mirrors
205 B 2006-07-05postinst  view  620+ mirrors
3.03 KB 2006-07-05md5sums  view  29 mirrors
1.91 KB 2006-07-05control  view  17 mirrors

Download cduce_0.4.1-1build2_i386.deb:

2006-07-05 ftp://sapi.vlsm.org/.3/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://ftp.net.usf.edu/pub3/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://ftp.phys.ttu.edu/pub/ubuntu-mirror/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://64.50.238.52/.1/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://200.17.202.1/ubuntu-all/archive/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://ftp.cn.kernel.org/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://ftp.lug.udel.edu/pub/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://200.17.202.16/ubuntu-all/archive/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2006-07-05 ftp://ftp.tuke.sk/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://mir1.ovh.net/lv0/ftp.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.nfsi.pt/pub/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://83.166.201.99/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.nz.kernel.org/pub/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://cudlug.cudenver.edu/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.rnl.ist.utl.pt/pub/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://200.17.202.17/ubuntu-all/archive/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.gnome.org/mirror/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://128.118.2.96/pub/.mirrors/1/ftp.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.informatik.rwth-aachen.de/pub/comp/Linux/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.filearena.net/mnt2/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.itb.ac.id/pub/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.ussg.iu.edu/linux/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.nectec.or.th/.b/5/archive.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://204.152.191.7/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.via.ecp.fr/pub/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://192.87.102.42/vol/2/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://192.87.102.43/vol/2/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://206.167.141.10/data4/pub/distro/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.twaren.net/pub/Linux/Ubuntu/ubuntu-security/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.twaren.net/pub/Linux/Ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.au.freebsd.org/disks/la3/.p/ubuntu/archive/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.uni-giessen.de/pub/linux/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://64.15.75.221/ubuntu/archive/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.task.gda.pl/vol/zfs/ftp.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.polytechnic.edu.na/pub/ubuntu/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.li.kernel.org/pub/.6/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://wt t0_Series004_z005_ch01.tif/.sdb1/ubuntu.com/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://130.239.18.173/mirror/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.sh.cvut.cz/storage/1/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://209.172.63.197/pub/mirrors/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://206.167.141.10/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.muug.mb.ca/mirror/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://77.88.19.74/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.linux.it/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://133.24.255.161/mirror4/ubuntu/archives/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.nrc.ca/pub/systems/linux/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://ftp.cs.rose-hulman.edu/ubuntu-releases/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://192.87.102.42/vol/3/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://130.237.164.232/pub/mirrors/archive.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb
2007-07-04 ftp://mir1.ovh.net/mirrors/ftp.ubuntu.com/ubuntu/pool/universe/c/cduce/cduce_0.4.1-1build2_i386.deb

Homepage:	-
Package version:	0.4.1-1build2
Architecture:	i386
Distribution:	Ubuntu
Filename:	cduce_0.4.1-1build2_i386.deb