154
click to vote
ESOP
2016
Springer
10 years 1 months ago
2016
Springer
Abstract. Staged programming languages assign a stage to each program expression and evaluate each expression in its assigned stage. A common use of staged languages is to describe...
153
click to vote
ESOP
2016
Springer
10 years 1 months ago
2016
Springer
Most programs interact with the world: via graphical user interfaces, networks, etc. This form of interactivity entails concurrency, and concurrent program components must coordina...
139
click to vote
ESOP
2016
Springer
10 years 1 months ago
2016
Springer
This paper presents a shallow embedding of a probabilistic functional programming language in higher order logic. The language features monadic sequencing, recursion, random sampli...
273
click to vote
ESOP
2016
Springer
10 years 1 months ago
2016
Springer
Abstract. The original formulation of the Curry–Howard correspondence relates propositional logic to the simply-typed λ-calculus at three levels: the syntax of propositions corr...
177
click to vote
ESOP
2016
Springer
10 years 1 months ago
2016
Springer
Typed Clojure is an optional type system for Clojure, a dynamic language in the Lisp family that targets the JVM. Typed Clojure’s type system build on the design of Typed Racket...