Seminar Wish List

Paper Wish List

Resource-bound certification

The Logical Approach to Stack Typing

Functional In-place Update with Layered Datatype Sharing

Monads & Arrows

Type structure for low-level languages

Zinc

From system F to typed assembly langauge

Real-time garbage collection (Appel)

Scala

Tridirectional Typechecking

An Effective Theory of Type Refinements

Type Assignment for Intersections and Unions in Call-by-Value Language

Functional Programming for Real Applications (Invited Paper). ES'01.

A Gentle Introduction to Multi-stage Programming. DSPG'04.

DSL Implementation in MetaOCaml, Template Haskell, and C++. DSPG'04.

A Methodology for Generating Verified Combinatorial Circuits. EMSOFT'04.

Generating Heap-Bounded Programs in a Functional Setting. EMSOFT'03.

Implementing Multi-stage Languages using ASTs, gensym, and reflection. GPCE'03.

Environment Classifiers. POPL'03.

http://www.cs.rice.edu/~taha/publications/conference/esop04.pdf ML-like Inference for Classifiers. ESOP'04.

http://www.cs.rice.edu/~taha/publications/conference/icfp02.pdf Tagless Staged Interpreters for Typed Languages. ICFP'02.

Event-driven FRP. PADL'02.

http://www.cs.rice.edu/~taha/publications/conference/icfp01b.pdf Real-Time FRP. ICFP'01.

http://www.cs.rice.edu/~taha/publications/preprints/icfp01-pre.pdf Macros as Multi-Stage Computations. ICFP'01.

http://www.cs.rice.edu/~taha/publications/conference/gpce03a.pdf Staged Notational Definitions. GPCE'2003.

http://www.cs.rice.edu/~taha/publications/conference/padoII.pdf

Sound Reductions for Untyped CBN MetaML. PEPM'00

http://www.cs.rice.edu/~taha/teaching/05F/RAP/cache/adve-LowLevelVirtual.pdf LLVA: A low-level virtual instruction set architecture

http://www.cs.rice.edu/~taha/teaching/04F/RAP/cache/mycroft00statically.pdf A Statically allocated parallel functional language

Eliminating stack overflow by abstract interpretation

-- Main.EmirPasalic - 12 Apr 2006