Back to Results
First PageMeta Content
Data types / Abstract data types / Maude system / Functional languages / Procedural programming languages / Type theory / Stack / ATS / ALGOL 68 / Software engineering / Computing / Programming language theory


doi:[removed]j.entcs[removed]
Add to Reading List

Document Date: 2005-07-25 06:30:34

Open Document

File Size: 353,00 KB

Share Result on Facebook

Company

Elsevier B.V. / /

/

IndustryTerm

logical systems / computational systems / search trees / /

Organization

Universidad Complutense de Madrid / /

Person

Nat / Alberto Verdejo Departamento de Sistemas / Miguel Palomino / /

Position

red head / head / /

ProgrammingLanguage

Haskell / Maude system / ML / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

Technology

functional programming / /

URL

www.elsevier.com/locate/entcs / /

SocialTag