ICFP 2008 - PDF Preprint Papers

ICFP 2008 International Conference on Functional Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICFP-2008 Paper

click to vote

ICFP
2008
ACM

169views Programming Languages» more ICFP 2008»

Mixin' up the ML module system

15 years 12 days ago

Download www.mpi-sws.org

ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...

Derek Dreyer, Andreas Rossberg

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	169	Mixin' up the ML module system	claim
2	160	From ML to MLF: graphic type constraints with efficient type inference	claim
3	159	Ynot: dependent types for imperative programs	claim
4	154	A scheduling framework for general-purpose parallel languages	claim
5	145	Space profiling for parallel functional programs	claim
6	144	Pattern minimization problems over recursive data types	claim
7	142	Functional translation of a calculus of capabilities	claim
8	141	A functional model-view-controller software architecture for command-oriented programs	claim
9	137	Paradise: a two-stage DSL embedded in Haskell	claim
10	133	Transactional events for ML	claim
11	128	Compiling self-adjusting programs with continuations	claim
12	124	Bialgebra views: a way for polytypic programming to cohabit with data abstraction	claim
13	123	Type checking with open type functions	claim
14	121	Report on the tenth ICFP programming contest	claim
15	119	A lightweight approach to datatype-generic rewriting	claim
16	119	A comparison of c++ concepts and haskell type classes	claim
17	118	FPH: first-class polymorphism for Haskell	claim
18	117	Scala for generic programmers	claim
19	116	Deciding kCFA is complete for EXPTIME	claim
20	116	HMF: simple type inference for first-class polymorphism	claim
21	115	Implicitly-threaded parallelism in Manticore	claim
22	114	Parametric higher-order abstract syntax for mechanized semantics	claim
23	108	Flask: staged functional programming for sensor networks	claim
24	108	NixOS: a purely functional Linux distribution	claim
25	107	A type-preserving compiler in Haskell	claim
26	106	Quotient lenses	claim
27	104	Experience report: playing the DSL card	claim
28	102	AURA: a programming language for authorization and audit	claim
29	99	Functional netlists	claim
30	96	Efficient nondestructive equality checking for trees and graphs	claim
31	94	Typed closure conversion preserves observational equivalence	claim
32	92	Experience report: erlang in acoustic ray tracing	claim
33	85	Write it recursively: a generic framework for optimal path queries	claim
34	83	The power of Pi	claim
35	83	Typed iterators for XML	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers