Result 1 to 20 of 461 total
Systematic abstraction of abstract machines. (English)
J. Funct. Program. 22, No. 4-5, 705-746 (2012).
1
A unified treatment of syntax with binders. (English)
J. Funct. Program. 22, No. 4-5, 614-704 (2012).
2
The Reduceron reconfigured and re-evaluated. (English)
J. Funct. Program. 22, No. 4-5, 574-613 (2012).
3
Every bit counts: the binary representation of typed data and programs. (English)
J. Funct. Program. 22, No. 4-5, 529-573 (2012).
4
The impact of higher-order state and control effects on local relational reasoning. (English)
J. Funct. Program. 22, No. 4-5, 477-528 (2012).
5
Fortifying macros. (English)
J. Funct. Program. 22, No. 4-5, 439-476 (2012).
6
Lazy tree splitting. (English)
J. Funct. Program. 22, No. 4-5, 382-438 (2012).
7
Semantic subtyping with an SMT solver. (English)
J. Funct. Program. 22, No. 1, 31-105 (2012).
8
A compiled implementation of normalisation by evaluation. (English)
J. Funct. Program. 22, No. 1, 9-30 (2012).
9
Special issue: ICFP 2010. Selected papers based on the presentations at the 15th ACM SIGPLAN international conference on functional programming, Baltimore, MD, USA, September 27‒29, 2010. (English)
J. Funct. Program. 22, No. 4-5, 379-746 (2012).
10
Shifting the stage. Staging with delimited control. (English)
J. Funct. Program. 21, No. 6, 617-662 (2011).
11
Embedding an interpreted language using higher-order functions and types. (English)
J. Funct. Program. 21, No. 6, 585-615 (2011).
12
Sorted. Verifying the problem of the Dutch national flag in Agda. (English)
J. Funct. Program. 21, No. 6, 573-583 (2011).
13
A note on the genuine Sieve of Eratosthenes. (English)
J. Funct. Program. 21, No. 6, 563-572 (2011).
14
Short note: Strict unwraps make worker/wrapper fusion totally correct. (English)
J. Funct. Program. 21, No. 2, 209-213 (2011).
15
Roles, stacks, histories: a triple for Hoare. (English)
J. Funct. Program. 21, No. 2, 159-207 (2011).
16
More on balanced diets. (English)
J. Funct. Program. 21, No. 2, 135-157 (2011).
17
The Hough transform. (English)
J. Funct. Program. 21, No. 2, 129-133 (2011).
18
Building a consensus: a rectangle covering problem. (English)
J. Funct. Program. 21, No. 2, 119-128 (2011).
19
Functional and dynamic programming in the design of parallel prefix networks. (English)
J. Funct. Program. 21, No. 1, 59-114 (2011).
20
Result 1 to 20 of 461 total
Start
Contact
Print
General Help
