>
Fa
|
Ar
|
En
journal of universal computer science
سال:2017 - دوره:23 - شماره:1
A general method for defining objects by recursion over syntax
- صفحه:89-111
A logical reconstruction of Batcher’s mergers or: Bitonicity is a red herring
- صفحه:21-41
Abstract data types without the types
- صفحه:5-20
First-class functions in an imperative world
- صفحه:112-126
Functional programming: Past,present,and future. contributions dedicated to D. A. Turner on his 70th birthday
- صفحه:1-4
Higher inductive types in programming
- صفحه:63-88
Trees that grow
- صفحه:42-62
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved
