Back to Results
First PageMeta Content
Mathematical logic / Boolean algebra / Catamorphism / Functional programming / Relation algebra / Anamorphism / Category / Structure / Composition of relations / Mathematics / Abstract algebra / Category theory


Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology, University of Nottingham, Nottingham NG8 1BB, England, [removed] Abstract. Datatype-generic programs are program
Add to Reading List

Document Date: 2006-07-19 06:14:04

Open Document

File Size: 156,29 KB

Share Result on Facebook

City

Nottingham / /

Company

F. / /

Country

United Kingdom / /

/

Facility

University of Nottingham / /

IndustryTerm

end product / generic unification algorithm / smallest solution / fixpoint operator / dataype-generic unification algorithm / least solution / cartesian product / /

Organization

University of Nottingham / Datatype-Generic Reasoning Roland Backhouse School of Computer Science and Information Technology / /

Person

Ai / /

Position

qualifier / programmer / /

ProgrammingLanguage

R / /

Technology

functional programming / generic unification algorithm / Information Technology / dataype-generic unification algorithm / /

SocialTag