Document Search Results

Which simple types have a unique inhabitant? (English) Zbl 1360.68341

Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 243-255 (2015).

MSC: 68N18 68N30

Cite Review PDF

Full Text: DOI HAL

Cretin, Julien; Rémy, Didier

System F with coercion constraints. (English) Zbl 1394.03025

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 34, 10 p. (2014).

MSC: 03B40 68N18

Cite Review PDF

Full Text: DOI HAL

Scherer, Gabriel; Rémy, Didier

GADTs meet subtyping. (English) Zbl 1381.68060

Felleisen, Matthias (ed.) et al., Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37035-9/pbk). Lecture Notes in Computer Science 7792, 554-573 (2013).

MSC: 68N30 68N18 68Q65

Cite Review PDF

Full Text: DOI arXiv

Cretin, Julien; Rémy, Didier

On the power of coercion abstraction. (English) Zbl 1321.68145

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 361-372 (2012).

MSC: 68N18 03B70

Cite Review PDF

Full Text: DOI Link

Rémy, Didier; Yakobowski, Boris

A Church-style intermediate language for ML\(^{\text F}\). (English) Zbl 1252.03080

Theor. Comput. Sci. 435, 77-105 (2012).

MSC: 03B70 03F52 68N18 68T15

Cite Review PDF

Full Text: DOI

Rémy, Didier; Yakobowski, Boris

A church-style intermediate language for ML\(^{\text{F}}\). (English) Zbl 1284.68136

Blume, Matthias (ed.) et al., Functional and logic programming. 10th international symposium, FLOPS 2010, Sendai, Japan, April 19–21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12250-7/pbk). Lecture Notes in Computer Science 6009, 24-39 (2010).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Montagu, Benoît; Rémy, Didier

Modeling abstract types in modules with open existential types. (English) Zbl 1315.68103

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 354-365 (2009).

MSC: 68N30 03B70 68N18

Cite Review PDF

Full Text: DOI

Le Botlan, Didier; Rémy, Didier

Recasting ML\(^{\text F}\). (English) Zbl 1167.68014

Inf. Comput. 207, No. 6, 726-785 (2009).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Rémy, Didier; Yakobowski, Boris

From ML to \(\text{ML}^{\text{F}}\): graphic type constraints with efficient type inference. (English) Zbl 1323.68151

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 63-74 (2008).

MSC: 68N18 03B70 68Q25

Cite Review PDF

Full Text: DOI

Rémy, Didier

Simple, partial type-inference for System F based on type-containment. (English) Zbl 1302.68069

Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 130-143 (2005).

MSC: 68N18 68Q55

Cite Review PDF

Full Text: DOI Link

Di Cosmo, Roberto; Pottier, François; Rémy, Didier

Subtyping recursive types modulo associative commutative products. (English) Zbl 1114.68029

Urzyczyn, Paweł (ed.), Typed lambda calculi and applications. 7th international conference, TLCA 2005, Nara, Japan, April 21–23, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25593-1/pbk). Lecture Notes in Computer Science 3461, 179-193 (2005).

MSC: 68N18 68N19

Cite Review PDF

Full Text: DOI

Le Botlan, Didier; Rémy, Didier

\(\mathrm{ML}^{\mathrm{F}}\): raising ML to the power of System F. (English) Zbl 1315.68051

Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 27-38 (2003).

MSC: 68N18

Cite Review PDF

Full Text: DOI

Rémy, Didier

Using, understanding, and unraveling the OCaml language. From practice to theory and vice versa. (English) Zbl 1065.68028

Barthe, Gilles (ed.) et al., Applied semantics. International summer school, APPSEM 2000, Caminha, Portugal, September 9–15, 2000. Advanced lectures. Berlin: Springer (ISBN 3-540-44044-5). Lect. Notes Comput. Sci. 2395, 413-536 (2002).

MSC: 68N18 68N19 68Q55 68-02

Cite Review PDF

Full Text: Link

Garrigue, Jacques; Rémy, Didier

Semi-explicit first-class polymorphism for ML. (English) Zbl 1045.68526

Inf. Comput. 155, No. 1-2, 134-169 (1999).

MSC: 68N18

Cite Review PDF

Full Text: DOI Link

Fournet, Cédric; Maranget, Luc; Laneve, Cosimo; Rémy, Didier

Implicit typing à la ML for the join-calculus. (English) Zbl 1512.68057

Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 196-212 (1997).

MSC: 68N18 68N30

Cite Review PDF

Full Text: DOI

Abadi, Martin; Cardelli, Luca; Pierce, B.; Rémy, D.

Dynamic typing in polymorphic languages. (English) Zbl 0819.68142

J. Funct. Program. 5, No. 1, 111-130 (1995).

MSC: 68N18 68N15

Cite Review PDF

Full Text: DOI

Found 16 Documents (Results 1–16)

Which simple types have a unique inhabitant? (English) Zbl 1360.68341

System F with coercion constraints. (English) Zbl 1394.03025

GADTs meet subtyping. (English) Zbl 1381.68060

On the power of coercion abstraction. (English) Zbl 1321.68145

A Church-style intermediate language for ML\(^{\text F}\). (English) Zbl 1252.03080

A church-style intermediate language for ML\(^{\text{F}}\). (English) Zbl 1284.68136

Modeling abstract types in modules with open existential types. (English) Zbl 1315.68103

Recasting ML\(^{\text F}\). (English) Zbl 1167.68014

From ML to \(\text{ML}^{\text{F}}\): graphic type constraints with efficient type inference. (English) Zbl 1323.68151

Simple, partial type-inference for System F based on type-containment. (English) Zbl 1302.68069

Subtyping recursive types modulo associative commutative products. (English) Zbl 1114.68029

\(\mathrm{ML}^{\mathrm{F}}\): raising ML to the power of System F. (English) Zbl 1315.68051

Using, understanding, and unraveling the OCaml language. From practice to theory and vice versa. (English) Zbl 1065.68028

Semi-explicit first-class polymorphism for ML. (English) Zbl 1045.68526

Implicit typing à la ML for the join-calculus. (English) Zbl 1512.68057

Dynamic typing in polymorphic languages. (English) Zbl 0819.68142

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software