Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
  • Cagne P, Ghiorzi E and Johann P. (2024). GADTs are not (Even partial) functors. Mathematical Structures in Computer Science. 10.1017/S0960129524000161. (1-24).

    https://www.cambridge.org/core/product/identifier/S0960129524000161/type/journal_article

  • Ingle A, Hubers A and Morris J. Partial type constructors in practice. Proceedings of the 15th ACM SIGPLAN International Haskell Symposium. (95-107).

    https://doi.org/10.1145/3546189.3549923

  • Koopman P, Michels S and Plasmeijer R. (2021). Dynamic Editors for Well-Typed Expressions. Trends in Functional Programming. 10.1007/978-3-030-83978-9_3. (44-66).

    https://link.springer.com/10.1007/978-3-030-83978-9_3

  • Xie N, Eisenberg R and Oliveira B. (2019). Kind inference for datatypes. Proceedings of the ACM on Programming Languages. 4:POPL. (1-28). Online publication date: 1-Jan-2020.

    https://doi.org/10.1145/3371121

  • Jones M, Morris J and Eisenberg R. (2019). Partial type constructors: or, making ad hoc datatypes less ad hoc. Proceedings of the ACM on Programming Languages. 4:POPL. (1-28). Online publication date: 1-Jan-2020.

    https://doi.org/10.1145/3371108

  • Osera P. Constraint-based type-directed program synthesis. Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development. (64-76).

    https://doi.org/10.1145/3331554.3342608

  • Eisenberg R, Breitner J and Peyton Jones S. (2018). Type variables in patterns. ACM SIGPLAN Notices. 53:7. (94-105). Online publication date: 7-Dec-2018.

    https://doi.org/10.1145/3299711.3242753

  • Eisenberg R, Breitner J and Peyton Jones S. Type variables in patterns. Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell. (94-105).

    https://doi.org/10.1145/3242744.3242753

  • Pickering M, Érdi G, Peyton Jones S and Eisenberg R. (2016). Pattern synonyms. ACM SIGPLAN Notices. 51:12. (80-91). Online publication date: 19-Jul-2018.

    https://doi.org/10.1145/3241625.2976013

  • ZAKIAN T, MCDONELL T, CIMINI M and NEWTON R. (2018). Ghostbuster: A tool for simplifying and converting GADTs. Journal of Functional Programming. 10.1017/S0956796818000114. 28.

    https://www.cambridge.org/core/product/identifier/S0956796818000114/type/journal_article

  • Ostermann K and Jabs J. (2018). Dualizing Generalized Algebraic Data Types by Matrix Transposition. Programming Languages and Systems. 10.1007/978-3-319-89884-1_3. (60-85).

    http://link.springer.com/10.1007/978-3-319-89884-1_3

  • Karachalias G and Schrijvers T. (2017). Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!. ACM SIGPLAN Notices. 52:10. (133-147). Online publication date: 31-Oct-2017.

    https://doi.org/10.1145/3156695.3122966

  • Karachalias G and Schrijvers T. Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!. Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell. (133-147).

    https://doi.org/10.1145/3122955.3122966

  • DAGAND P. (2017). The essence of ornaments. Journal of Functional Programming. 10.1017/S0956796816000356. 27.

    https://www.cambridge.org/core/product/identifier/S0956796816000356/type/journal_article

  • McDonell T, Zakian T, Cimini M and Newton R. (2016). Ghostbuster: a tool for simplifying and converting GADTs. ACM SIGPLAN Notices. 51:9. (338-350). Online publication date: 5-Dec-2016.

    https://doi.org/10.1145/3022670.2951914

  • Pickering M, Érdi G, Peyton Jones S and Eisenberg R. Pattern synonyms. Proceedings of the 9th International Symposium on Haskell. (80-91).

    https://doi.org/10.1145/2976002.2976013

  • McDonell T, Zakian T, Cimini M and Newton R. Ghostbuster: a tool for simplifying and converting GADTs. Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. (338-350).

    https://doi.org/10.1145/2951913.2951914

  • Chen S and Erwig M. (2016). Principal type inference for GADTs. ACM SIGPLAN Notices. 51:1. (416-428). Online publication date: 8-Apr-2016.

    https://doi.org/10.1145/2914770.2837665

  • Chen S and Erwig M. Principal type inference for GADTs. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (416-428).

    https://doi.org/10.1145/2837614.2837665

  • Karachalias G, Schrijvers T, Vytiniotis D and Jones S. (2015). GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. ACM SIGPLAN Notices. 50:9. (424-436). Online publication date: 18-Dec-2015.

    https://doi.org/10.1145/2858949.2784748

  • Karachalias G, Schrijvers T, Vytiniotis D and Jones S. GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. (424-436).

    https://doi.org/10.1145/2784731.2784748

  • Vazou N, Seidel E and Jhala R. (2014). LiquidHaskell. ACM SIGPLAN Notices. 49:12. (39-51). Online publication date: 11-May-2015.

    https://doi.org/10.1145/2775050.2633366

  • LÓPEZ-FRAGUAS F, MARTIN-MARTIN E and RODRÍGUEZ-HORTALÁ J. (2014). A liberal type system for functional logic programs. Mathematical Structures in Computer Science. 10.1017/S0960129513000091. 25:4. (942-977). Online publication date: 1-May-2015.

    https://www.cambridge.org/core/product/identifier/S0960129513000091/type/journal_article

  • Magalhães J and Löh A. (2015). Hierarchy in Generic Programming Libraries. Mathematics of Program Construction. 10.1007/978-3-319-19797-5_5. (93-112).

    https://link.springer.com/10.1007/978-3-319-19797-5_5

  • Pavlinovic Z, King T and Wies T. (2014). Finding minimum type error sources. ACM SIGPLAN Notices. 49:10. (525-542). Online publication date: 31-Dec-2015.

    https://doi.org/10.1145/2714064.2660230

  • Pavlinovic Z, King T and Wies T. Finding minimum type error sources. Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. (525-542).

    https://doi.org/10.1145/2660193.2660230

  • Ferreira F and Pientka B. Bidirectional Elaboration of Dependently Typed Programs. Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming. (161-174).

    https://doi.org/10.1145/2643135.2643153

  • Magalhães J and Koops H. Functional generation of harmony and melody. Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design. (11-21).

    https://doi.org/10.1145/2633638.2633645

  • Vazou N, Seidel E and Jhala R. LiquidHaskell. Proceedings of the 2014 ACM SIGPLAN symposium on Haskell. (39-51).

    https://doi.org/10.1145/2633357.2633366

  • Williams T, Dagand P and Rémy D. Ornaments in practice. Proceedings of the 10th ACM SIGPLAN workshop on Generic programming. (15-24).

    https://doi.org/10.1145/2633628.2633631

  • Simon A. Optimal inference of fields in row-polymorphic records. Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. (100-111).

    https://doi.org/10.1145/2594291.2594313

  • Simon A. (2014). Optimal inference of fields in row-polymorphic records. ACM SIGPLAN Notices. 49:6. (100-111). Online publication date: 5-Jun-2014.

    https://doi.org/10.1145/2666356.2594313

  • Magalhães J and Löh A. Generic Generic Programming. Proceedings of the 16th International Symposium on Practical Aspects of Declarative Languages - Volume 8324. (216-231).

    https://doi.org/10.1007/978-3-319-04132-2_15

  • Garrigue J and Rémy D. Ambivalent Types for Principal Type Inference with GADTs. Proceedings of the 11th Asian Symposium on Programming Languages and Systems - Volume 8301. (257-272).

    https://doi.org/10.1007/978-3-319-03542-0_19

  • De Haas W, Magalhães J, Wiering F and C. Veltkamp R. (2013). Automatic functional harmonic analysis. Computer Music Journal. 37:4. (37-53). Online publication date: 1-Dec-2013.

    https://doi.org/10.1162/COMJ_a_00209

  • Hidaka S, Asada K, Hu Z, Kato H and Nakano K. (2013). Structural recursion for querying ordered graphs. ACM SIGPLAN Notices. 48:9. (305-318). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500608

  • Balabonski T. (2013). Weak optimality, and the meaning of sharing. ACM SIGPLAN Notices. 48:9. (263-274). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500606

  • Petersen L, Orchard D and Glew N. (2013). Automatic SIMD vectorization for Haskell. ACM SIGPLAN Notices. 48:9. (25-36). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500605

  • Glaze D, Labich N, Might M and Van Horn D. (2013). Optimizing abstract abstract machines. ACM SIGPLAN Notices. 48:9. (443-454). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500604

  • Garcia R. (2013). Calculating threesomes, with blame. ACM SIGPLAN Notices. 48:9. (417-428). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500603

  • Mainland G, Leshchinskiy R and Peyton Jones S. (2013). Exploiting vector instructions with generalized stream fusion. ACM SIGPLAN Notices. 48:9. (37-48). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500601

  • Weirich S, Hsu J and Eisenberg R. (2013). System FC with explicit kind equality. ACM SIGPLAN Notices. 48:9. (275-286). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500599

  • Chlipala A. (2013). The bedrock structured programming system. ACM SIGPLAN Notices. 48:9. (391-402). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500592

  • Kammar O, Lindley S and Oury N. (2013). Handlers in action. ACM SIGPLAN Notices. 48:9. (145-158). Online publication date: 12-Nov-2013.

    https://doi.org/10.1145/2544174.2500590

  • Koops H, Magalhães J and de Haas W. A functional approach to automatic melody harmonisation. Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design. (47-58).

    https://doi.org/10.1145/2505341.2505343

  • Weirich S, Hsu J and Eisenberg R. System FC with explicit kind equality. Proceedings of the 18th ACM SIGPLAN international conference on Functional programming. (275-286).

    https://doi.org/10.1145/2500365.2500599

  • Eisenberg R and Weirich S. (2012). Dependently typed programming with singletons. ACM SIGPLAN Notices. 47:12. (117-130). Online publication date: 17-Jan-2013.

    https://doi.org/10.1145/2430532.2364522

  • Jones W, Field T and Allwood T. (2012). Deconstraining DSLs. ACM SIGPLAN Notices. 47:9. (299-310). Online publication date: 15-Oct-2012.

    https://doi.org/10.1145/2398856.2364571

  • Pike L, Wegmann N, Niller S and Goodloe A. (2012). Experience report. ACM SIGPLAN Notices. 47:9. (335-340). Online publication date: 15-Oct-2012.

    https://doi.org/10.1145/2398856.2364553

  • Eisenberg R and Weirich S. Dependently typed programming with singletons. Proceedings of the 2012 Haskell Symposium. (117-130).

    https://doi.org/10.1145/2364506.2364522

  • Magalhães J. The right kind of generic programming. Proceedings of the 8th ACM SIGPLAN workshop on Generic programming. (13-24).

    https://doi.org/10.1145/2364394.2364397

  • Jones W, Field T and Allwood T. Deconstraining DSLs. Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. (299-310).

    https://doi.org/10.1145/2364527.2364571

  • Pike L, Wegmann N, Niller S and Goodloe A. Experience report. Proceedings of the 17th ACM SIGPLAN international conference on Functional programming. (335-340).

    https://doi.org/10.1145/2364527.2364553

  • Oliveira B, Schrijvers T, Choi W, Lee W and Yi K. (2012). The implicit calculus. ACM SIGPLAN Notices. 47:6. (35-44). Online publication date: 6-Aug-2012.

    https://doi.org/10.1145/2345156.2254070

  • Mandel L and Plateau F. Scheduling and buffer sizing of n-synchronous systems. Proceedings of the 11th international conference on Mathematics of Program Construction. (74-101).

    https://doi.org/10.1007/978-3-642-31113-0_6

  • Oliveira B, Schrijvers T, Choi W, Lee W and Yi K. The implicit calculus. Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation. (35-44).

    https://doi.org/10.1145/2254064.2254070

  • Bahr P and Hvitved T. (2012). Parametric Compositional Data Types. Electronic Proceedings in Theoretical Computer Science. 10.4204/EPTCS.76.3. 76. (3-24).

    http://arxiv.org/abs/1202.2917v1

  • Yorgey B, Weirich S, Cretin J, Peyton Jones S, Vytiniotis D and Magalhães J. Giving Haskell a promotion. Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. (53-66).

    https://doi.org/10.1145/2103786.2103795

  • Persson A, Axelsson E and Svenningsson J. Generic monadic constructs for embedded languages. Proceedings of the 23rd international conference on Implementation and Application of Functional Languages. (85-99).

    https://doi.org/10.1007/978-3-642-34407-7_6

  • Bahr P and Hvitved T. Compositional data types. Proceedings of the seventh ACM SIGPLAN workshop on Generic programming. (83-94).

    https://doi.org/10.1145/2036918.2036930

  • Hamana M and Fiore M. A foundation for GADTs and inductive families. Proceedings of the seventh ACM SIGPLAN workshop on Generic programming. (59-70).

    https://doi.org/10.1145/2036918.2036927

  • Kaminski T and Van Wyk E. Integrating attribute grammar and functional programming language features. Proceedings of the 4th international conference on Software Language Engineering. (263-282).

    https://doi.org/10.1007/978-3-642-28830-2_15

  • Axelsson E and Sheeran M. Feldspar. Proceedings of the 4th Summer School conference on Central European Functional Programming School. (402-439).

    https://doi.org/10.1007/978-3-642-32096-5_8

  • Schilling T. Constraint-Free type error slicing. Proceedings of the 12th international conference on Trends in Functional Programming. (1-16).

    https://doi.org/10.1007/978-3-642-32037-8_1

  • Axelsson E, Claessen K, Sheeran M, Svenningsson J, Engdal D and Persson A. (2011). The Design and Implementation of Feldspar. Implementation and Application of Functional Languages. 10.1007/978-3-642-24276-2_8. (121-136).

    http://link.springer.com/10.1007/978-3-642-24276-2_8

  • López-Fraguas F, Martin-Martin E and Rodríguez-Hortalá J. Liberal typing for functional logic programs. Proceedings of the 8th Asian conference on Programming languages and systems. (80-96).

    /doi/10.5555/1947873.1947882

  • Achten P, Eekelen M, Koopman P and Morazán M. (2010). Trends in Trends in Functional Programming 1999/2000 versus 2007/2008. Higher-Order and Symbolic Computation. 23:4. (465-487). Online publication date: 1-Nov-2010.

    https://doi.org/10.1007/s10990-011-9074-z

  • Chafi H, DeVito Z, Moors A, Rompf T, Sujeeth A, Hanrahan P, Odersky M and Olukotun K. (2010). Language virtualization for heterogeneous parallel computing. ACM SIGPLAN Notices. 45:10. (835-847). Online publication date: 17-Oct-2010.

    https://doi.org/10.1145/1932682.1869527

  • Chafi H, DeVito Z, Moors A, Rompf T, Sujeeth A, Hanrahan P, Odersky M and Olukotun K. Language virtualization for heterogeneous parallel computing. Proceedings of the ACM international conference on Object oriented programming systems languages and applications. (835-847).

    https://doi.org/10.1145/1869459.1869527

  • Axelsson E, Claessen K, Sheeran M, Svenningsson J, Engdal D and Persson A. The design and implementation of feldspar an embedded language for digital signal processing. Proceedings of the 22nd international conference on Implementation and application of functional languages. (121-136).

    /doi/10.5555/2050135.2050143

  • Verbruggen W, De vries E and Hughes A. (2010). Formal polytypic programs and proofs. Journal of Functional Programming. 20:3-4. (213-269). Online publication date: 1-Jul-2010.

    https://doi.org/10.1017/S0956796810000158

  • Chlipala A. (2010). Ur. ACM SIGPLAN Notices. 45:6. (122-133). Online publication date: 12-Jun-2010.

    https://doi.org/10.1145/1809028.1806612

  • Chlipala A. Ur. Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation. (122-133).

    https://doi.org/10.1145/1806596.1806612

  • Middelkoop A, Dijkstra A and Swierstra S. (2010). A lean specification for GADTs. Higher-Order and Symbolic Computation. 23:2. (145-166). Online publication date: 1-Jun-2010.

    https://doi.org/10.1007/s10990-011-9065-0

  • Lin C and Sheard T. Pointwise generalized algebraic data types. Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation. (51-62).

    https://doi.org/10.1145/1708016.1708024

  • Vytiniotis D, Peyton Jones S and Schrijvers T. Let should not be generalized. Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation. (39-50).

    https://doi.org/10.1145/1708016.1708023

  • Kennedy A. (2010). Types for Units-of-Measure: Theory and Practice. Central European Functional Programming School. 10.1007/978-3-642-17685-2_8. (268-305).

    http://link.springer.com/10.1007/978-3-642-17685-2_8

  • van Noort T, Achten P and Plasmeijer R. A typical synergy. Proceedings of the 21st international conference on Implementation and application of functional languages. (179-197).

    /doi/10.5555/1929087.1929098

  • Kennedy A. Types for units-of-measure. Proceedings of the Third summer school conference on Central European functional programming school. (268-305).

    /doi/10.5555/1939128.1939136

  • Johann P and Ghiorzi E. (Deep) induction rules for GADTs. Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs. (324-337).

    https://doi.org/10.1145/3497775.3503680

  • Moreira G, Vasconcellos C and Ribeiro R. Type inference for GADTs, outsidein and anti-unification. Proceedings of the XXII Brazilian Symposium on Programming Languages. (51-58).

    https://doi.org/10.1145/3264637.3264644

  • Pickering M, Érdi G, Peyton Jones S and Eisenberg R. (2016). Pattern synonyms. ACM SIGPLAN Notices. 51:12. (80-91). Online publication date: 19-Jul-2018.

    https://doi.org/10.1145/3241625.2976013

  • Xie N and Oliveira B. (2018). Let Arguments Go First. Programming Languages and Systems. 10.1007/978-3-319-89884-1_10. (272-299).

    http://link.springer.com/10.1007/978-3-319-89884-1_10

  • Pickering M, Érdi G, Peyton Jones S and Eisenberg R. Pattern synonyms. Proceedings of the 9th International Symposium on Haskell. (80-91).

    https://doi.org/10.1145/2976002.2976013

  • Gelain A, Vasconcellos C, Camarão C and Ribeiro R. Type Inference for GADTs and Anti-unification. Proceedings of the 19th Brazilian Symposium on Programming Languages - Volume 9325. (16-30).

    https://doi.org/10.1007/978-3-319-24012-1_2

  • Mandel L and Plateau F. Scheduling and buffer sizing of n-synchronous systems. Proceedings of the 11th international conference on Mathematics of Program Construction. (74-101).

    https://doi.org/10.1007/978-3-642-31113-0_6