Programming languages for mobile code
ACM Computing Surveys (CSUR)
SIGCOMM '97 Proceedings of the ACM SIGCOMM '97 conference on Applications, technologies, architectures, and protocols for computer communication
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Security properties of typed applets
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Security properties of typed applets
Secure Internet programming
Secure Internet programming
Biglook: A Widget Library for the Scheme Programming Language
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
Safe and Flexible Dynamic Linking of Native Code
TIC '00 Selected papers from the Third International Workshop on Types in Compilation
Programming graphical user interfaces with Scheme
Journal of Functional Programming
MetaOCaml server pages: web publishing as staged computation
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
Journal of Functional Programming
O'browser: objective caml on browsers
Proceedings of the 2008 ACM SIGPLAN workshop on ML
The world wide web as a place for agents
Artificial intelligence today
Access control in an object-oriented document repository
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Hi-index | 0.00 |