Type theories and object-oriented programmimg
ACM Computing Surveys (CSUR)
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Widening the representation bottleneck: a functional implementation of relational programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Explaining type errors in polymorphic languages
ACM Letters on Programming Languages and Systems (LOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proofs about a folklore let-polymorphic type inference algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model verification in &lgr;Σ: a type inference approach
ANSS '91 Proceedings of the 24th annual symposium on Simulation
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generic unification via two-level types and parameterized modules
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Thémis: a database programming language handling integrity constraints
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
On the Unification of Substitutions in Type Interfaces
IFL '98 Selected Papers from the 10th International Workshop on 10th International Workshop
Infopipes: an abstraction for multimedia streaming
Multimedia Systems
Journal of Functional Programming
Efficient graph algorithms using lazy monolithic arrays
Journal of Functional Programming
From ML to Ada: Strongly-typed language interoperability via source translation
Journal of Functional Programming
Two-level types and parameterized modules
Journal of Functional Programming
Parametric polymorphism for software component architectures
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Practical type inference for arbitrary-rank types
Journal of Functional Programming
A rewriting semantics for type inference
ESOP'07 Proceedings of the 16th European conference on Programming
Typechecking UML static models
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
transalpyne: a language for automatic transposition
ACM Communications in Computer Algebra
Polymorphic type reconstruction using type equations
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
Polymorphic type-checking in scheme
Computer Languages
| Hi-index | 0.00 |