Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581137567

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CDuce

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944711 ◽

2003 ◽

Cited By ~ 95

Author(s):

V?ronique Benzaken ◽

Giuseppe Castagna ◽

Alain Frisch

Download Full-text

Scripting the type inference process

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944707 ◽

2003 ◽

Cited By ~ 23

Author(s):

Bastiaan Heeren ◽

Jurriaan Hage ◽

S. Doaitse Swierstra

Keyword(s):

Type Inference ◽

Inference Process

Download Full-text

A sound and complete axiomatization of delimited continuations

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944722 ◽

2003 ◽

Cited By ~ 21

Author(s):

Yukiyoshi Kameyama ◽

Masahito Hasegawa

Keyword(s):

Complete Axiomatization ◽

Delimited Continuations

Download Full-text

Global abstraction-safe marshalling with hash types

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944714 ◽

2003 ◽

Cited By ~ 9

Author(s):

James J. Leifer ◽

Gilles Peskine ◽

Peter Sewell ◽

Keith Wansbrough

Download Full-text

Understanding aspects

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944732 ◽

2003 ◽

Cited By ~ 3

Author(s):

Mitchell Wand

Download Full-text

MLF

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944709 ◽

2003 ◽

Cited By ~ 35

Author(s):

Didier Le Botlan ◽

Didier R?my

Download Full-text

An extension of HM(X) with bounded existential and universal data-types

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944710 ◽

2003 ◽

Cited By ~ 5

Author(s):

Vincent Simonet

Keyword(s):

Data Types

Download Full-text

Call-by-value is dual to call-by-name

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944723 ◽

2003 ◽

Cited By ~ 47

Author(s):

Philip Wadler

Download Full-text

A static type system for JVM access control

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944726 ◽

2003 ◽

Cited By ~ 4

Author(s):

Tomoyuki Higuchi ◽

Atsushi Ohori

Keyword(s):

Access Control ◽

Type System

Download Full-text

Disjunctive normal forms and local exceptions

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03 ◽

10.1145/944705.944724 ◽

2003 ◽

Cited By ~ 2

Author(s):

Emmanuel Beffara ◽

Vincent Danos

Keyword(s):

Normal Forms

Download Full-text

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

CDuce

Scripting the type inference process

A sound and complete axiomatization of delimited continuations

Global abstraction-safe marshalling with hash types

Understanding aspects

MLF

An extension of HM(X) with bounded existential and universal data-types

Call-by-value is dual to call-by-name

A static type system for JVM access control

Disjunctive normal forms and local exceptions

Proceedings of the eighth ACM SIGPLAN international conference on Functional programming - ICFP '03
Latest Publications