Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Hosein Askari

Type Inference of Turbo Pascal

BRICS Report Series

English

Related publications

Pascal Type Properties of Betti Numbers

International Journal of Mathematics and Mathematical Sciences

English

ESI: Easy Software Interfacing Tools for Turbo Pascal Programming of Digital Input-Output Devices

Behavior Research Methods, Instruments, & Computers

English

Type Inference With Selftype

BRICS Report Series

English

Context-Free Session Type Inference

ACM Transactions on Programming Languages and Systems

English

Type Inference With Simple Subtypes

Journal of Functional Programming

English

Type Inference With Constrained Types

Theory and Practice of Object Systems

English

Type Qualifier Inference for Java

English

Invariant and Type Inference for Matrices

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Pascal Matrices

American Mathematical Monthly

English