✦ LIBER ✦

An Overview of CafeOBJ

✍ Scribed by Răzvan Diaconescu; Kokichi Futatsugi; Makoto Ishisone; Ataru T. Nakagawa; Toshimi Sawada

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 779 KB
Volume: 15
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80017-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An overview

✍ G. Johnson 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 168 KB

The way in which we learn about, use and design interfaces between people and the computer systems they are faced with is an area which has, in recent years, been the subject of much research. This research field is usually known as Human-Computer Interaction (HCI) and, without doubt, has had (and c

An overview

✍ Allan Beaver 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 854 KB

An overview of PKI

✍ Marie A. Wright 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 443 KB

An overview of thundersnow

✍ David M. Schultz; R. James Vavrek 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 360 KB

An Overview of ELAN

✍ Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Chris 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 973 KB

An Overview of Edison

✍ Chris Okasaki 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Edison is a library of functional data structures implemented in Haskell. It supports three main families of abstractions: sequences, collections (e.g., sets and priority queues), and associative collections (e.g., finite maps). This paper summarizes the design of Edison, with particular attention t