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.

Browse inside cduce_0.4.1-1_i386.deb:

pkg://cduce_0.4.1-1_i386.deb:3412896/ downloads

1.92 KB 2006-10-03control  view  13 mirrors
3.03 KB 2006-10-03md5sums  view  39 mirrors
205 B 2006-10-03postinst  view  660+ mirrors
209 B 2006-10-03prerm  view  1000+ mirrors
[DIR]usr/  1000+ twin directories

Download cduce_0.4.1-1_i386.deb:

2008-07-02 ftp://130.75.2.22/pub/mirror/linux/debian-mirror/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://64.50.236.52/.1/debian/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://64.50.238.52/.1/debian/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.3logic.net/.1/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://sapi.vlsm.org/.1/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.tu-chemnitz.de/.SAN0/pub/linux/debian/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.externet.hu/.lib/disk1/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.funet.fi/.m/mirrors3/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.free.fr/.mirrors1/ftp.debian.org/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://24.215.0.24/Debian/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.stu.edu.tw/Linux/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://sunsite.mff.cuni.cz/MIRRORS/ftp.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.tu-ilmenau.de/Mirrors/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.uni-kassel.de/Mirrors1/ftp.de.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.bme.hu/OS/Linux/dist/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.gnome.org/cdimage/.debian-mirror/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.gnome.org/cdimage/snapshot/Debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://200.17.202.1/debian-dists/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://200.17.202.16/debian-dists/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://200.17.202.17/debian-dists/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.br.debian.org/debian-dists/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.linorg.usp.br/debian-raiz/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://130.225.254.99/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://130.251.19.2/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://139.124.132.163/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://161.53.160.16/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://193.226.140.51/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://195.184.181.213/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://195.184.181.4/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://204.152.191.7/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://212.87.224.145/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://216.107.0.37/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://217.75.96.164/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://77.88.19.68/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://83.166.201.99/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://cudlug.cudenver.edu/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://debian.lcs.mit.edu/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.ankara.edu.tr/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.at.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.bg.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.bononia.it/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.cl.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.cosy.sbg.ac.at/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.cs.rose-hulman.edu/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.cstone.net/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.debian.de/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.debian.hu/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.debian.or.jp/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb
2006-10-03 ftp://ftp.fr.debian.org/debian/pool/main/c/cduce/cduce_0.4.1-1_i386.deb

Homepage:	-
Package version:	0.4.1-1
Architecture:	i386
Distribution:	Debian
Filename:	cduce_0.4.1-1_i386.deb