Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595933093

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stabilizers

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159822 ◽

2006 ◽

Cited By ~ 8

Author(s):

Lukasz Ziarek ◽

Philip Schatz ◽

Suresh Jagannathan

Download Full-text

Algebraic fusion of functions with an accumulating parameter and its improvement

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159835 ◽

2006 ◽

Cited By ~ 2

Author(s):

Shin-ya Katsumata ◽

Susumu Nishimura

Download Full-text

Equality of streams is a Π0 over 2-complete problem

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159827 ◽

2006 ◽

Cited By ~ 5

Author(s):

Grigore Roşu

Keyword(s):

Complete Problem

Download Full-text

Programming monads operationally with Unimo

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159840 ◽

2006 ◽

Cited By ~ 9

Author(s):

Chuan-kai Lin

Download Full-text

Transactional events

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159821 ◽

2006 ◽

Cited By ~ 10

Author(s):

Kevin Donnelly ◽

Matthew Fluet

Download Full-text

From structures and functors to modules and units

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159815 ◽

2006 ◽

Cited By ~ 10

Author(s):

Scott Owens ◽

Matthew Flatt

Download Full-text

Improving flow analyses via ΓCFA

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159807 ◽

2006 ◽

Cited By ~ 39

Author(s):

Matthew Might ◽

Olin Shivers

Download Full-text

Access control in a core calculus of dependency

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159839 ◽

2006 ◽

Cited By ~ 21

Author(s):

Martín Abadi

Keyword(s):

Access Control

Download Full-text

Abstraction preservation and subtyping in distributed languages

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159841 ◽

2006 ◽

Cited By ~ 3

Author(s):

Pierre-Malo Deniélou ◽

James J. Leifer

Download Full-text

Simple unification-based type inference for GADTs

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06 ◽

10.1145/1159803.1159811 ◽

2006 ◽

Cited By ~ 104

Author(s):

Simon Peyton Jones ◽

Dimitrios Vytiniotis ◽

Stephanie Weirich ◽

Geoffrey Washburn

Keyword(s):

Type Inference

Download Full-text

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Stabilizers

Algebraic fusion of functions with an accumulating parameter and its improvement

Equality of streams is a Π0 over 2-complete problem

Programming monads operationally with Unimo

Transactional events

From structures and functors to modules and units

Improving flow analyses via ΓCFA

Access control in a core calculus of dependency

Abstraction preservation and subtyping in distributed languages

Simple unification-based type inference for GADTs

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06
Latest Publications