Filters








160,154 Hits in 3.7 sec

Dependent Types for Safe and Secure Web Programming

Simon Fowler, Edwin Brady
2014 Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13  
Using the dependently typed programming language IDRIS, we introduce an EDSL to facilitate the creation and handling of statically checked web forms, reducing the scope for programmer error and attacks  ...  In this paper, we apply this technique to web programming.  ...  Failure is handled in traditional web applications by the generation of exceptions, which may be handled in the program.  ... 
doi:10.1145/2620678.2620683 dblp:conf/ifl/FowlerB13 fatcat:xyjemsf4c5ea7nmhnjrmsyeb6q

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types [article]

Anson Miu
2021 arXiv   pre-print
Modern web programming involves coordinating interactions between browser clients and a server.  ...  We evaluate the expressiveness of STScript for modern web programming using several production-ready case studies deployed as web applications.  ...  Targeting Web Programming. The TypeScript [2] programming language is used for web programming, with a static type system and a compiler to JavaScript.  ... 
arXiv:2101.04622v1 fatcat:2bnuhqw5gfagdkoxixnepuf5mi

A seamless, client-centric programming model for type safe web applications

Anton Ekblad, Koen Claessen
2014 SIGPLAN notices  
We propose a new programming model for web applications which is (1) seamless; one program and one language is used to produce code for both client and server, (2) client-centric; the programmer takes  ...  the viewpoint of the client that runs code on the server rather than the other way around, (3) functional and type-safe, and (4) portable; everything is implemented as a Haskell library that implicitly  ...  Wrongly typed programs will thus crash, or even worse, gleefully keep running with erroneous state due to implicit type conversions, rather than give the programmer some advance warning that something  ... 
doi:10.1145/2775050.2633367 fatcat:763cduxjsvceti4t5bb7fgjklu

In the Age of Web: Typed Functional-First Programming Revisited

Tomas Petricek, Don Syme, Zach Bray
2015 Electronic Proceedings in Theoretical Computer Science  
Most programming languages were designed before the age of web. This matters because the web changes many assumptions that typed functional language designers take for granted.  ...  Technically, this comprises using type providers for integration with external information sources and for integration with untyped programming environments, using lightweight meta-programming for targeting  ...  Nevertheless, the case study shows that these are enough to let us benefit from the functional-first statically-typed programming paradigm in the age of web.  ... 
doi:10.4204/eptcs.198.3 fatcat:7mpgtzotovbltlmwgscg7vdn2a

A seamless, client-centric programming model for type safe web applications

Anton Ekblad, Koen Claessen
2014 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14  
We propose a new programming model for web applications which is (1) seamless; one program and one language is used to produce code for both client and server, (2) client-centric; the programmer takes  ...  the viewpoint of the client that runs code on the server rather than the other way around, (3) functional and type-safe, and (4) portable; everything is implemented as a Haskell library that implicitly  ...  Wrongly typed programs will thus crash, or even worse, gleefully keep running with erroneous state due to implicit type conversions, rather than give the programmer some advance warning that something  ... 
doi:10.1145/2633357.2633367 dblp:conf/haskell/EkbladC14 fatcat:5sdt5ykxmnf2dj5l7tnap55w6y

Communication-safe web programming in TypeScript with routed multiparty session types

Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2021 Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction  
Modern web programming involves coordinating interactions between web browser clients and a web server.  ...  We evaluate the expressiveness of STScript for modern web programming using several production-ready case studies deployed as web applications.  ...  Targeting Web Programming. The TypeScript [2] programming language is used for web programming, with a static type system and a compiler to JavaScript.  ... 
doi:10.1145/3446804.3446854 fatcat:o3rgcbltg5a7njqygma7z3xvru

A type system for dynamic Web documents

Anders Sandholm, Michael I. Schwartzbach
2000 Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '00  
We present an efficient runtime implementation that respects the semantics of only well-typed programs. This work is fully implemented as part of the system for defining interactive Web services.  ...  Many interactive Web services use the CGI interface for communication with clients.  ...  Acknowledgment: The entire <bigwig> team has assisted in implementing and experimenting with typed dynamic documents.  ... 
doi:10.1145/325694.325733 dblp:conf/popl/SandholmS00 fatcat:7bdr6aqruzde7fvkxp52nt3eny

A web-based self-management programme for people with type 2 diabetes: the HeLP-Diabetes research programme including RCT

Elizabeth Murray, Jamie Ross, Kingshuk Pal, Jinshuo Li, Charlotte Dack, Fiona Stevenson, Michael Sweeting, Steve Parrott, Maria Barnard, Lucy Yardley, Susan Michie, Carl May (+5 others)
2018 Programme Grants for Applied Research  
A web-based programme may increase uptake.  ...  WP C developed and user-tested the Healthy Living for People with type 2 Diabetes (HeLP-Diabetes) programme.  ...  Trial registration Funding details Funding for this study was provided by the Programme Grants for Applied Research programme of the National Institute for Health Research.  ... 
doi:10.3310/pgfar06050 fatcat:agkngbxvmnhlfn6xbfb5kb247e

QWeS2T for Type-Safe Web Programming

Thierry Sans, Iliano Cervesato
unpublished
We embody this abstraction in a type-safe language with localized static typechecking that we call QWeSST and for which we have implemented a working prototype.  ...  We use it to express interaction patterns commonly found on the Web as well more sophisticated forms that are beyond current web technologies.  ...  So, webapps are very easy to prototype, yet web programmers know that development gets much more complex as the application grows.  ... 
doi:10.29007/gjh5 fatcat:wcwfjstn35hppdqzrnjmdqm2m4

Modeling Web Interactions [chapter]

Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
2003 Lecture Notes in Computer Science  
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers.  ...  To address this programming problem, we develop a foundational model of Web interactions and use it to formally describe two classes of errors.  ...  In the next section, we present a type system that discovers such problems statically and still allows programmers to develop complex interactive Web programs in an incremental manner.  ... 
doi:10.1007/3-540-36575-3_17 fatcat:veyomd7hi5c4hj55zgq5qs3cua

Two studies of opportunistic programming

Joel Brandt, Philip J. Guo, Joel Lewenstein, Mira Dontcheva, Scott R. Klemmer
2009 Proceedings of the 27th international conference on Human factors in computing systems - CHI 09  
We look specifically at how programmers-an exemplar form of knowledge workers-opportunistically interleave Web foraging, learning, and writing code.  ...  We describe two studies of how programmers use online resources. The first, conducted in the lab, observed participants' Web use while building an online chat room.  ...  ACKNOWLEDGEMENTS We thank Rob Liebscher and Diana Joseph at Adobe Systems for their help in acquiring the Web query logs; Beyang Liu for his help in coding video data from our lab study; Intel for donating  ... 
doi:10.1145/1518701.1518944 dblp:conf/chi/BrandtGLDK09 fatcat:oy5flsa67vc6jg5ooleonryyoa

Developers shift to dynamic programming languages

L.D. Paulson
2007 Computer  
Programmer and Ruby on Rails creator David Heinemeier Hansson, a partner in the 37signals Web-application-development firm, said the time it takes for static typing to enforce all rules throughout the  ...  With statically typed languages, programs explicitly declare-but need not define-variables before they are used. Many programmers like the structure that forced variable declaration creates.  ... 
doi:10.1109/mc.2007.53 fatcat:l6hzw4ka2vh57c5ov3zg6vz4ne

Programming the Semantic Web [chapter]

Steffen Staab, Stefan Scheglmann, Martin Leinberger, Thomas Gottron
2014 Lecture Notes in Computer Science  
Semantic Web data is (i) provided by different people in an ad-hoc manner, (ii) distributed, (iii) semi-structured, (iv) (more or less) typed, (v) supposed to be used serendipitously.  ...  However, they are only partially accounted for in existing programming approaches for Semantic Web data including (i) semantic search, (ii) graph programming, and (iii) traditional database programming  ...  The research leading to these results has received funding from the European Community's Seventh Framework Programme (FP7/2007-2013), REVEAL (Grant agree number 610928).  ... 
doi:10.1007/978-3-319-07443-6_1 fatcat:j4xtbciwvzaepgkym53rj6iytu

iData for the World Wide Web – Programming Interconnected Web Forms [chapter]

Rinus Plasmeijer, Peter Achten
2006 Lecture Notes in Computer Science  
Complicated form dependencies can be defined in a pure functional, type safe, declarative programming style. This liberates the programmer from lots of low-level HTML programming and form handling.  ...  It allows programmers to create interactive, dynamic web applications with state on a high level of abstraction. The key element of this toolkit is the iData element.  ...  Paul de Mast kindly provided us with a Clean web server application to readily test the toolkit.  ... 
doi:10.1007/11737414_17 fatcat:yqzo7egxnfefvlghoo74qr2jbe

A Survey of Object Oriented JavaScript Language

Fowzhia Khan, R. Mallika
2014 International Journal of Computer Applications  
Most of web browsers make use of JavaScript as a user interactive program that is a client side program due to its active nature.  ...  Many of the programmers move towards object oriented programming languages due to its reusability nature, whereas in procedural programming languages reusability is not allowed, which may contribute to  ...  Simon Holm Jensen et al [4] discussed about the type analysis of the JavaScript language since it is the main scripting language for the server side programming and web browsers.  ... 
doi:10.5120/18158-9358 fatcat:nun3xx43obbhpisjbmh2rxou3e
« Previous Showing results 1 — 15 out of 160,154 results