Subset-equational Language

• subset and equational program clauses.
• pattern matching over sets (supporting efficient iteration over sets).
• annotations to say which functions distribute over union in which arguments (for point-wise/incremental computation over sets).
• defining transitive closures through circular constraints (implemented by mixed top-down/memoisation and bottom-up strategy).
• metaprogramming and simple higher-order programming.
• modest user-interface including tracing.

<< Previous Word Browser Next >>
honor beaugrand yiannis grivas list of number 1 hits (united states) jehoahaz tourism in argentina hot 100 no. 1 hits of 2003 (usa) bacteriorhodopsin fifty four forty or fight kailash (journal) matilda joslyn gage san telmo	list of movies based on video games hms hotspur (h01) jehoahaz of israel mother jones (magazine) hms hero (h99) high (atmospheric) hms hereward (h93) hot 100 no. 1 hits of 2004 (usa) anza borrego desert state park mario's super picross anzotegui state	armstrong redwoods state reserve scale (spatial) cam ship cytosolic degradation arthur b. ripley desert woodland state park hot 100 no. 1 hits of 2002 (usa) nizar qabbani tellar asilomar state beach subnet subject oriented programming	entomological society of america auburn state recreation area molly yard hot 100 no. 1 hits of 2001 (usa) subband encoding original instruments jan kochanowski austin creek state recreation area azalea state reserve red tornado pacarana