3323 search results - page 360 / 665 » Computational Semantics with Functional Programming |
177
click to vote
CC
2009
Springer
15 years 11 months ago
2009
Springer
Single-assignment languages with copy semantics have a very simple and approachable programming model. A na¨ıve implementation of the copy semantics that copies the result of eve...
158
click to vote
ECOOP
2007
Springer
16 years 26 days ago
2007
Springer
Static and dynamic type systems have well-known strengths and weaknesses. In previous work we developed a gradual type system for a functional calculus named λ? →. Gradual typin...
186
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
171
click to vote
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Run-time type dispatch enables a variety of advanced optimization techniques for polymorphic languages, including tag-free garbage collection, unboxed function arguments, and fla...
187
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...