<--- Back to Details
First PageDocument 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
Date: 2005-07-25 06:30:34
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

Source URL: maude.sip.ucm.es

Download Document from Source Website

File Size: 353,00 KB

Share Document on Facebook

Similar Documents

Finance / Economy / Money / Financial markets / Initial coin offering / Secondary market / Security / Broker-dealer / Algorithmic trading / Securities Exchange Act / Dark pool

SharesPost Announces Launch of ATS for Secondary Trading of Security Tokens SharesPost expects security token exchange platform to be available in H2 2018 May 14, San Francisco, CA - SharesPost, a leading provider

DocID: 1xVXZ - View Document

Economy / Finance / Money / Cryptocurrencies / Financial markets / Foreign exchange companies / Foreign exchange market / Micropayment / Ripple / BlackRock / Security / Algorithmic trading

Senior Ripple Veteran Vijay Chetty Joins SharesPost Digital Assets Group Chetty to lead business development for the security token ATS San Francisco, CA — June 8, 2018 — SharesPost, a leading provider of late-stage

DocID: 1xTtv - View Document

PDF Document

DocID: 1xLuN - View Document

PDF Document

DocID: 1xA7z - View Document

PDF Document

DocID: 1vIz1 - View Document