Obj
OBJ
is a
programming language
family introduced by
Joseph Goguen
in
1976
. A family of declarative "ultra high level" languages. Abstract types, generic modules, subsorts (subtypes with
multiple inheritance
), pattern-matching modulo equations, E-strategies (user control over laziness), module expressions (for combining modules), theories and views (for describing module interfaces). For the massively parallel RRM (
Rewrite Rule Machine
).
Functions Considered Unnecessary for Higher-Order Programming", J.A. Goguen, in Research Topics in Functional Programming
.
<< Previous
Word Browser
Next >>
no. 303 (polish) squadron raf
xedit
visual editor
hilary koprowski
gatwick airport railway station
coat of arms of zlotoryja
hawaii republican party
gerda nicolson
sungai petani
jzef tykocinski
electric blue
journal of near death studies
cidlina
william fitz osbern (1196)
old swiss confederacy
oc 48
oc n
der volksstaat
occurs check
office by example
oakwood, london
oaklisp
european molecular biology laboratory
first great western link
jan mikulicz radecki
times of lore
photon in photon out
obj2
obj3
parvicursor
aix
openedition
objectbroker
objectcenter
object code buffer overrun evaluator
kappa 77 kp 2u sova
object compatibility standard
alvarezsauridae
object data management group
objecteering
object identifier
objectionable c
passiflora foetida
confuciusornis
Copyright 2005-2009 OnPedia.com. All Rights Reserved