Polymorphism and type inference in database programming
ACM Transactions on Database Systems (TODS)
From region inference to von Neumann machines via region representation inference
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Region-based memory management
Information and Computation
Philip and Alex's guide to Web publishing
Philip and Alex's guide to Web publishing
Static interpretation of modules
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
A type system for dynamic Web documents
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The influence of browsers on evaluators or, continuations to program web servers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Combining region inference and garbage collection
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
ACM Transactions on Internet Technology (TOIT)
The Definition of Standard ML
Writing Apache Modules with PERL and C
Writing Apache Modules with PERL and C
Programming the Web with High-Level Programming Languages
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Server side web scripting in Haskell
Journal of Functional Programming
XML templates and caching in WASH
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Generating web-based systems from specifications
Proceedings of the 2004 ACM symposium on Applied computing
A Retrospective on Region-Based Memory Management
Higher-Order and Symbolic Computation
Ocsigen: typing web interaction with objective Caml
Proceedings of the 2006 workshop on ML
MetaOCaml server pages: web publishing as staged computation
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
iTasks: executable specifications of interactive work flow systems for the web
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
An Introduction to iTasks: Defining Interactive Work Flows for the Web
Central European Functional Programming School
A conference management system based on the iData toolkit
IFL'06 Proceedings of the 18th international conference on Implementation and application of functional languages
An iTask case study: a conference management system
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Customizing a functional programming language for web development
Computer Languages, Systems and Structures
SMLtoJs: hosting a standard ML compiler in a web browser
Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Defining multi-user web applications with itasks
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Task-oriented programming in a pure functional language
Proceedings of the 14th symposium on Principles and practice of declarative programming
| Hi-index | 0.00 |
SMLserver is an efficient multi-threadedWeb server platform for Standard ML programs. It provides access to a variety of different Relational Database Management Systems (RDBMSs), including Oracle, MySQL, and PostgreSQL. We describe the execution model and the region-based memory model of SMLserver and explain our solutions to the design issues we were confronted with in the development. We also describe our experience with programming and maintaining Web applications using Standard ML, which provides higher-order functions, static typing, and a rich module system. Through experiments based on user scenarios for some common Web tasks, the paper demonstrates the efficiency of SMLserver, both with respect to script execution and database connectivity.