Travelled to:
1 × Canada
1 × Finland
1 × Spain
4 × USA
Collaborated with:
P.Rondogiannis H.(.Li ∅ A.A.Faustini E.A.Ashcroft A.Shamir M.Khezrzadeh A.Thomo C.Nomikos
Talks about:
higher (2) order (2) lucid (2) recommend (1) interpret (1) intension (1) implement (1) structur (1) function (1) dataflow (1)
Person: William W. Wadge
DBLP: Wadge:William_W=
Contributed to:
Wrote 8 papers:
- RecSys-2009-KhezrzadehTW #power of #recommendation
- Harnessing the power of “favorites” lists for recommendation systems (MK, AT, WWW), pp. 289–292.
- ICLP-2005-NomikosRW #equivalence #semantics
- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics (CN, PR, WWW), pp. 414–415.
- SEKE-2004-LiW #education
- An Intensional Tool Applied to French Language Educational Software (H(L, WWW), pp. 62–67.
- SAC-1994-RondogiannisW #data flow #hardware #higher-order #implementation
- Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.
- ISLP-1991-Wadge #higher-order #logic programming
- Higher-Order Horn Logic Programming (WWW), pp. 289–303.
- PLDI-1987-FaustiniW #interpreter
- An eductive interpreter for Lucid (AAF, WWW), pp. 86–91.
- POPL-1978-AshcroftW #named
- Clauses: Scope Structures and Defined Functions in Lucid (EAA, WWW), pp. 17–22.
- ICALP-1977-ShamirW #data type
- Data Types as Objects (AS, WWW), pp. 465–479.