Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Deling Ren
Type-Safe Update Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Thread-Safe Reactive Programming
Proceedings of the ACM on Programming Languages
SAFE: A Programming Language for Software Quality
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Parallel Operation of Self-Limited Analog Programming for Fast Array-Level Weight Programming and Update
Advanced Intelligent Systems
Simplified Programming of Re-Usable Skills on a Safe Industrial Robot
Higher-Order Type-Level Programming in Haskell
Proceedings of the ACM on Programming Languages
Helly-Type Theorems and Generalized Linear Programming
Discrete and Computational Geometry
Combinatorics
Mathematics
Geometry
Discrete Mathematics
Computational Theory
Topology
Theoretical Computer Science
Database States in Lazy Functional Programming Languages: Imperative Update and Lazy Retrieval
Runtime Support for Type-Safe Dynamic Java Classes
A Polynomial Projection-Type Algorithm for Linear Programming
Operations Research Letters
Industrial
Applied Mathematics
Manufacturing Engineering
Management Science
Operations Research
Software
