A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Dependent Types for Safe and Secure Web Programming
2014
Proceedings of the 25th symposium on Implementation and Application of Functional Languages - IFL '13
Preserved Fulltext
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2014
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1512.01896v1 fatcat:zyslypny3fcqvi3h6ghlgqujya
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
2014
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2021
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2000
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '00
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2018
Programme Grants for Applied Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2009
Proceedings of the 27th international conference on Human factors in computing systems - CHI 09
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
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
2007
Computer
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2014
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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