| |
Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Studies Of Program Constructs (F.3.3) > Type Structure (F.3.3...)
|
|
 |
|
|
| |
|
|
| |
1-10 of 29
Reviews about "Type Structure (F.3.3...)":
|
Date Reviewed |
| |
Practical optional types for Clojure
Bonnaire-Sergeant A., Davies R., Tobin-Hochstadt S. ESOP 2016 (Proceedings of the 25th European Symposium on Programming,Apr 2-Apr 8, 2016) 68-94, 2016. Type: Proceedings
Clojure is an untyped dynamic Lisp-like language that targets the Java virtual machine (JVM). This paper discusses adding a type system to the language. It is based on real-world work, the Typed Clojure project and core.typed library, ...
|
Nov 22 2016 |
| |
A typed store-passing translation for general references
Pottier F. ACM SIGPLAN Notices 46(1): 147-158, 2011. Type: Article
It is a challenging task to create a well-typed semantic model for a programming language that supports references to dynamically allocated memory cells that may hold values of any type, such as functions or addresses of other cells. T...
|
Nov 1 2011 |
| |
Formally verifying information flow type systems for concurrent and thread systems
Barthe G., Nieto L. Formal methods in security engineering (Proceedings of the 2004 ACM Conference on Formal Methods in Security Engineering, Washington DC, USA, Oct 29, 2004) 13-22, 2004. Type: Proceedings
This paper is in the area of theory related to concurrency and threading. It is about reasoning noninterference properties in a concurrent programming language with information flow type systems. The work uses the proof assistant Isabe...
|
Jan 12 2005 |
| |
Canonical derivatives, partial derivatives and finite automaton constructions
Champarnaud J., Ziadi D. Theoretical Computer Science 289(1): 137-163, 2002. Type: Article
In 1964, J.A. Brzozowski introduced the notion of the derivatives of a regular expression [1]: where u is a word over the alphabet of a regular expression E, the derivative of E ...
|
Nov 3 2003 |
| |
Types and programming languages
Pierce B., MIT Press, Cambridge, MA, 2002. 645 pp. Type: Book (9780262162098)
Pierce defines a type system as “a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the types of values they compute.” Don’t let this for...
|
Jan 24 2003 |
| |
An interpretation of typed objects into typed &pgr;-calculus
Sangiorgi D. Information and Computation 143(1): 34-73, 1998. Type: Article, Reviews: (1 of 2)
It has been widely recognized that while object orientation brings tangible practical benefits to the software development process, its theoretical underpinnings are less clear. This paper fits within a body of research that is respond...
|
Jul 1 1999 |
| |
An interpretation of typed objects into typed &pgr;-calculus
Sangiorgi D. Information and Computation 143(1): 34-73, 1998. Type: Article, Reviews: (2 of 2)
It has been widely recognized that while object orientation bringstangible practical benefits to the software development process, itstheoretical underpinnings are less clear. This paper fits within a bodyof research that is responding...
|
Jul 1 1999 |
| |
Type classes in Haskell
Hall C., Hammond K., Peyton Jones S., Wadler P. ACM Transactions on Programming Languages and Systems 18(2): 109-138, 1996. Type: Article
Type inferencing in a subset of Haskell that contains overloading (but not pattern matching) is described. The process involves adding extra parameters to overloaded functions, thus making the previously implicit typing explicit. Rules...
|
Mar 1 1997 |
| |
Kinded type inference for parametric overloading
Duggan D., Cormack G., Ophel J. Acta Informatica 33(1): 21-68, 1996. Type: Article
In the introduction, the authors cover essential terms such as “parametric polymorphism” and “overloading.” The combination of these two techniques, namely parametric overloading, is the topic of...
|
Dec 1 1996 |
| |
Type-theoretical grammar
Ranta A., Oxford University Press, Oxford, UK, 1994. Type: Book (9780198538578)
Ranta’s aim is to introduce the Martin-Löf theory of types from the point of view of (and with some applications to) linguistics. The author investigates the ways in which such theoretical types manifest themselves i...
|
Sep 1 1996 |
| |
|
|
| |
|
|
