PiLib: A Hosted Language for Pi-Calculus Style Concurrency.
Vincent CremetMartin OderskyPublished in: Domain-Specific Program Generation (2003)
Keyphrases
- language learning
- programming language
- formal language
- object oriented languages
- concurrent programming
- language processing
- artificial intelligence
- relational calculus
- machine learning
- database systems
- database query languages
- high level programming languages
- data sets
- database programming language
- type checking
- specification language
- relational model
- fine grained